forked from moocfi/haskell-mooc
-
Notifications
You must be signed in to change notification settings - Fork 0
/
style.css
134 lines (134 loc) · 2.31 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
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
body {
margin: 0 0 0 0;
padding-left: 5%;
font-family: sans-serif;
background: #fffad1;
color: #211c00;
/*background: url("chevron.png") repeat;*/
}
a[href] {
color: black;
background: #ffd608;
text-decoration: none;
}
a[href]:hover {
background: #c2a200;
}
a[href]:focus {
background: #c2a200;
}
body h1 {
margin: 70px 0 0 0;
}
body h2 {
font-size: 1.4em;
margin: 35px 0 0 0;
}
body h3 {
margin: 35px 0 0 0;
}
body p {
line-height: 1.4em;
}
div#text {
padding-right: 5%;
}
@media (min-width: 800px) {
div#everything {
overflow: hidden;
display: flex;
max-height: 100vh;
width: 100%;
}
div#text-container {
overflow-y: scroll;
flex-grow: 1;
}
div#text {
margin-left: auto;
margin-right: auto;
max-width: 90%;
}
nav#TOC {
overflow-y: scroll;
order: 2;
background: #211c00;
}
nav#TOC ul {
padding-left: 2em;
padding-right: 1em;
}
nav#TOC ul li {
list-style-type: none;
padding: 5px 0 0 0;
}
nav#TOC ul li a {
color: #ffd608;
background: none;
display: inline !important;
}
nav#TOC ul li a:hover {
color: #a18600;
}
nav#TOC ul li a:focus {
color: #a18600;
}
nav#TOC ul li ul {
margin: 0 0 20px 0;
font-weight: 400 !important;
}
nav#TOC ul li ul:first-child {
font-weight: bold;
}
}
p {
max-width: 60rem;
}
ul {
padding-left: 3em;
max-width: 60rem;
}
ul li {
padding: 5px 0 0 0;
}
ol {
padding-left: 3em;
}
ol.quiz {
/*margin-left: min(5vw, 6rem);*/
padding-top: 0.5em;
padding-bottom: 0.5em;
list-style-type: lower-alpha;
}
ol.quiz li:hover {
background: #ffd608;
cursor: pointer;
}
ol.quiz li:active {
background: red;
}
ol.quiz li.correct:active {
background: green;
}
pre {
border-radius: 5px;
max-width: 60rem;
padding: 25px;
background: #fff5b6;
margin-bottom: 25px;
overflow: auto !important; /* need to override style by pandoc... */
}
code.sourceCode {
position: static !important; /* override weird pandoc style that breaks on safari */
}
code {
font-family: Consolas, Monaco, Lucida Console, Liberation Mono, Bitstream Vera Sans Mono, monospace;
white-space: pre; /* make non-syntax-colored code blocks behave like colored ones */
}
table, img {
max-width: 80%;
padding: 0.5em 0.5em 0.5em 0.5em;
}
table {
border-spacing: 1em 0em;
}