javaclass

Annotated docs/styles.css

135:901001c30474
2005-01-21 Paul Boddie Added the start of documentation.
paul@135 1
body {
paul@135 2
background-color: white;
paul@135 3
font-size: 12pt;
paul@135 4
}
paul@135 5
paul@135 6
h1 {
paul@135 7
color: navy;
paul@135 8
font-family: sans-serif;
paul@135 9
font-size: 20pt;
paul@135 10
}
paul@135 11
paul@135 12
h2 {
paul@135 13
color: navy;
paul@135 14
font-family: sans-serif;
paul@135 15
font-size: 18pt;
paul@135 16
}
paul@135 17
paul@135 18
h3 {
paul@135 19
color: navy;
paul@135 20
font-family: sans-serif;
paul@135 21
font-size: 16pt;
paul@135 22
}
paul@135 23
paul@135 24
h4 {
paul@135 25
color: navy;
paul@135 26
font-family: sans-serif;
paul@135 27
font-size: 15pt;
paul@135 28
}
paul@135 29
paul@135 30
h5 {
paul@135 31
color: navy;
paul@135 32
font-family: sans-serif;
paul@135 33
font-size: 14pt;
paul@135 34
}
paul@135 35
paul@135 36
ul {
paul@135 37
list-style-type: disc;
paul@135 38
}
paul@135 39
paul@135 40
pre {
paul@135 41
background-color: silver;
paul@135 42
color: black;
paul@135 43
}
paul@135 44
paul@135 45
p.prompt {
paul@135 46
font-family: fixed;
paul@135 47
background-color: silver;
paul@135 48
color: black;
paul@135 49
}
paul@135 50
paul@135 51
p.prompt:before {
paul@135 52
content: "$ ";
paul@135 53
}
paul@135 54
paul@135 55
p.result {
paul@135 56
font-family: fixed;
paul@135 57
background-color: white;
paul@135 58
color: black;
paul@135 59
margin-left: 1em;
paul@135 60
}