This repository has been archived by the owner on Sep 7, 2023. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 0
/
style.css
79 lines (79 loc) · 1.68 KB
/
style.css
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
body {
width: 700px;
margin: 20px auto;
padding: 0px;
text-align: justify;
font-family: Optima, Arial, Helvetica, sans-serif;
font-size: 16px
}
#name {
font-size: 22px;
font-weight: bold
}
h1 {
padding: 0px;
font-size: 28px;
font-weight: 200;
color: #48005E
}
h2 {
font-size: 1.5em;
font-weight: 200;
color: #48005E
}
img {
display: block;
margin-left: auto;
margin-right: auto
}
a {
font-weight: bold;
text-decoration: none;
color: #48005E
}
a img {
border: none
}
a:hover {
text-decoration: underline;
color: #6A227F
}
li {}
pre.sourceCode.literate.haskell {
padding: 10px;
background-color: #f2f2f2;
border-radius: 7px
}
table.sourceCode,
tr.sourceCode,
td.lineNumbers,
td.sourceCode,
table.sourceCode pre {
margin: 0;
padding: 0;
border: 0;
vertical-align: baseline;
border: none
}
td.lineNumbers {
border-right: 1px solid #AAAAAA;
text-align: right;
color: #AAAAAA;
padding-right: 5px;
padding-left: 5px
}
td.sourceCode { padding-left: 5px }
pre.sourceCode span.kw { color: #007020; font-weight: bold }
pre.sourceCode span.dt { color: #902000 }
pre.sourceCode span.dv { color: #40a070 }
pre.sourceCode span.bn { color: #40a070 }
pre.sourceCode span.fl { color: #40a070 }
pre.sourceCode span.ch { color: #4070a0 }
pre.sourceCode span.st { color: #4070a0 }
pre.sourceCode span.co { color: #60a0b0; font-style: italic }
pre.sourceCode span.ot { color: #007020 }
pre.sourceCode span.al { color: red; font-weight: bold }
pre.sourceCode span.fu { color: #06287e }
pre.sourceCode span.re {}
pre.sourceCode span.er { color: red; font-weight: bold }
.ob { display: none }