-
Notifications
You must be signed in to change notification settings - Fork 25
/
stylesheet.css
122 lines (98 loc) · 3.98 KB
/
stylesheet.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
/* CSS style sheet for CSE 331 */
html { background-color: white; }
body { background-color: white; color: #000; }
/* sans-serif fonts look better on screen. */
@media screen { body { font-family: Verdana, Helvetica, Arial, sans-serif; } }
/* serif fonts look better on paper. */
@media print { body { font-family: serif; } }
/* Shifting from red and gray to purple and gold for major headers */
/* gold: #D4A017 purple: #8E35EF */
#header {
border-bottom: 2px solid black; padding: .5em; margin: 0 1em 0;
}
#header .course {
text-align: center; font-weight: 900; margin: 0 1em 0; text-indent: 0;
}
#header, #header h1, #header h2 { font-size: large; font-weight: normal; }
#header h1, #header h2 {
padding: 0; margin: .1em; border: 0; background-color: inherit; color: inherit; text-indent: 0;
}
#header .due, #header .title { display: block; margin-left: 9em; }
#header a[href]:link { color: #aaa; }
#header a[href]:visited { color: #666; }
#header a[href]:hover { color: #666; background: #ccc; }
#header .head {
font-style: normal; font-weight: 700;
min-width: 9em; float: left;
}
#header .title { font-style: italic; font-weight: bold; }
h2 {
border-top: 2px solid black;
margin-top: 1em;
margin-bottom: 1em;
padding: .3em .5em .2em 1.5em; /* top, right, bottom, left */
text-indent: -1em;
}
#footer {
border-top: 2px solid black; text-align: center; font-size: 75%;
margin-top: 1em;
}
#footer p { margin: .1em 0 0; }
dt { font-weight: 900; margin-top: .6em; }
ol { list-style-type: lower-alpha; }
ol ol { list-style-type: decimal; }
ol ol ol { list-style-type: lower-roman; }
ol li { margin-bottom: .5em; }
dl.commands { border: 1px solid black; padding: .3em; }
.nobr { white-space: nowrap; }
.example ul { list-style-type: none; }
pre { padding: .4em; }
pre, tt, code, .api { font-family: "Andale Mono", Monaco, Courier, monospace; }
pre b, tt b, code b { font-weight: 900; /* weird, but Andale is odd. */ }
a.api { text-decoration: none; }
.api { font-weight: bold; }
/* weird work-around: i don't know where text-decoration is being unset */
a tt { text-decoration: underline; }
table.stepbystep { border-collapse: collapse; border: 2px solid black; }
table.stepbystep td { border: 1px solid black; padding: .3em; }
table.staff { border-collapse: collapse; border: 2px solid black; }
table.staff td { border: 1px solid black; padding: .3em; }
table.staff { margin-left: auto; margin-right: auto; }
.firered { font-weight: 900; }
.exercise {
border: 1px dashed black;
padding-left: 1em;
padding-right: 1em;
}
.exercise .exerciseName {
margin: 1.33em 0;
font-weight: bolder;
}
/* color! not for printing, just for screen use. */
@media screen { /* red: #933, grey: #666 */ /* now purple and gold */
a[href]:link { color: #933; }
a[href]:visited { color: #333; }
a[href]:hover { color: #933; background: #ccc; text-decoration: overline underline; }
a[href]:active { color: red; background-color: yellow; }
/* this is a workaround for weird behavior of tt inside a: */
a[href]:hover tt { color: #933; background: #ccc; text-decoration: overline underline; }
/* These colors are hard to read, and the highlighting is quite
confusing as well. So I commented it out -MDE
a:target { font-weight: 900; background-color: #933; } */
#header { background: #8E35EF; color: #fff; border: 2px solid #666; }
#header .head { color: #aaa; }
#header .course { color: #000; border-bottom: 1px dotted #666; margin-bottom: .3em; }
h2 { color: #fff; background-color: #D4A017; clear: both; }
#footer { border-color: #666; color: #666; background-color: #fff; }
table.stepbystep { border-color: #933; background: #ffe; }
dl.commands { border-color: #666; }
/* from ps0 */
.firered { color: #f33; }
/* from ps1: */
pre, tt, code { background-color: #ffe; }
a.src { background-color: #eff; }
pre { border: 1px dotted #933; }
.example { border: 1px dotted #933; background: #eee; margin-right: 2em; }
.example tt { background: #eee; font-weight: 900; }
}
@media print { h3 { margin-left: 1em; } h2 { padding-left: 1em; } }