javaclass

Annotated docs/styles.css

152:805aa0c63c2f
139:9812fa1e4816
135:901001c30474
2005-01-21 Paul Boddie file changeset files shortlog Worked on the documentation somewhat.
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 
}
 
 paul@139     61 
 
 paul@139     62 
p.python-prompt {
 
 paul@139     63 
font-family: fixed;
 
 paul@139     64 
background-color: silver;
 
 paul@139     65 
color: black;
 
 paul@139     66 
}
 
 paul@139     67 
 
 paul@139     68 
p.python-prompt:before {
 
 paul@139     69 
content: ">>> ";
 
 paul@139     70 
}
 
 paul@139     71 
 
 paul@139     72 
p.python-result {
 
 paul@139     73 
font-family: fixed;
 
 paul@139     74 
background-color: white;
 
 paul@139     75 
color: black;
 
 paul@139     76 
margin-left: 2em;
 
 paul@139     77 
}