docs/styles.css | raw changeset files shortlog |
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 +}