1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/docs/styles.css	Fri Jan 21 17:04:41 2005 +0100
     1.3 @@ -0,0 +1,60 @@
     1.4 +body {
     1.5 +background-color: white;
     1.6 +font-size: 12pt;
     1.7 +}
     1.8 +
     1.9 +h1 {
    1.10 +color: navy;
    1.11 +font-family: sans-serif;
    1.12 +font-size: 20pt;
    1.13 +}
    1.14 +
    1.15 +h2 {
    1.16 +color: navy;
    1.17 +font-family: sans-serif;
    1.18 +font-size: 18pt;
    1.19 +}
    1.20 +
    1.21 +h3 {
    1.22 +color: navy;
    1.23 +font-family: sans-serif;
    1.24 +font-size: 16pt;
    1.25 +}
    1.26 +
    1.27 +h4 {
    1.28 +color: navy;
    1.29 +font-family: sans-serif;
    1.30 +font-size: 15pt;
    1.31 +}
    1.32 +
    1.33 +h5 {
    1.34 +color: navy;
    1.35 +font-family: sans-serif;
    1.36 +font-size: 14pt;
    1.37 +}
    1.38 +
    1.39 +ul {
    1.40 +list-style-type: disc;
    1.41 +}
    1.42 +
    1.43 +pre {
    1.44 +background-color: silver;
    1.45 +color: black;
    1.46 +}
    1.47 +
    1.48 +p.prompt {
    1.49 +font-family: fixed;
    1.50 +background-color: silver;
    1.51 +color: black;
    1.52 +}
    1.53 +
    1.54 +p.prompt:before {
    1.55 +content: "$ ";
    1.56 +}
    1.57 +
    1.58 +p.result {
    1.59 +font-family: fixed;
    1.60 +background-color: white;
    1.61 +color: black;
    1.62 +margin-left: 1em;
    1.63 +}