docs/styles.css | raw changeset files shortlog |
1.1 --- a/docs/styles.css Sun May 15 17:05:27 2005 +0000 1.2 +++ b/docs/styles.css Sun May 15 19:24:38 2005 +0000 1.3 @@ -22,53 +22,47 @@ 1.4 1.5 BODY { 1.6 background-color: white; 1.7 -font-size: 12pt; 1.8 } 1.9 1.10 H1 { 1.11 color: navy; 1.12 font-family: sans-serif; 1.13 -font-size: 20pt; 1.14 +font-size: 2.0em; 1.15 } 1.16 1.17 H2 { 1.18 color: navy; 1.19 font-family: sans-serif; 1.20 -font-size: 18pt; 1.21 +font-size: 1.8em; 1.22 } 1.23 1.24 H3 { 1.25 color: navy; 1.26 font-family: sans-serif; 1.27 -font-size: 16pt; 1.28 +font-size: 1.6em; 1.29 } 1.30 1.31 H4 { 1.32 color: navy; 1.33 font-family: sans-serif; 1.34 -font-size: 15pt; 1.35 +font-size: 1.4em; 1.36 } 1.37 1.38 H5 { 1.39 color: navy; 1.40 font-family: sans-serif; 1.41 -font-size: 14pt; 1.42 +font-size: 1.2em; 1.43 } 1.44 1.45 UL { 1.46 list-style-type: disc; 1.47 } 1.48 1.49 -PRE { 1.50 -background-color: silver; 1.51 -color: black; 1.52 -} 1.53 - 1.54 .MainHeading { 1.55 color: black; 1.56 background-color: gray; 1.57 font-family: sans-serif; 1.58 -font-size: 14pt; 1.59 +font-size: 1.4em; 1.60 font-weight: bold; 1.61 vertical-align: top; 1.62 } 1.63 @@ -77,7 +71,7 @@ 1.64 color: black; 1.65 background-color: silver; 1.66 font-family: sans-serif; 1.67 -font-size: 14pt; 1.68 +font-size: 1.4em; 1.69 font-weight: bold; 1.70 vertical-align: top; 1.71 } 1.72 @@ -86,12 +80,51 @@ 1.73 color: black; 1.74 background-color: silver; 1.75 font-family: sans-serif; 1.76 -font-size: 12pt; 1.77 +font-size: 1.2em; 1.78 font-weight: bold; 1.79 vertical-align: top; 1.80 } 1.81 1.82 .CellContent { 1.83 -font-size: 12pt; 1.84 +font-size: 1.2em; 1.85 vertical-align: top; 1.86 } 1.87 + 1.88 +PRE { 1.89 +border: 1pt solid black; 1.90 +padding: 0.5em; 1.91 +background-color: silver; 1.92 +color: black; 1.93 +} 1.94 + 1.95 +PRE.Python { 1.96 +border: 1pt solid black; 1.97 +padding: 0.5em; 1.98 +background-color: silver; 1.99 +color: black; 1.100 +} 1.101 + 1.102 +.Submodule { 1.103 +color: #ff0000 1.104 +} 1.105 + 1.106 +PRE.Prompt { 1.107 +border: 1pt solid black; 1.108 +padding: 0.5em; 1.109 +background-color: #c0c0c0; 1.110 +color: black; 1.111 +} 1.112 + 1.113 +PRE.PromptRequest { 1.114 +border: 1pt solid black; 1.115 +padding: 0.5em; 1.116 +background-color: #b0d0b0; 1.117 +color: black; 1.118 +} 1.119 + 1.120 +PRE.PromptResponse { 1.121 +border: 1pt solid black; 1.122 +padding: 0.5em; 1.123 +background-color: #d0b0b0; 1.124 +color: black; 1.125 +}