Mercurial > hg > xemacs-beta
comparison lisp/w3/default.css @ 80:1ce6082ce73f r20-0b90
Import from CVS: tag r20-0b90
author | cvs |
---|---|
date | Mon, 13 Aug 2007 09:06:37 +0200 |
parents | 131b0175ea99 |
children |
comparison
equal
deleted
inserted
replaced
79:5b0a5bbffab6 | 80:1ce6082ce73f |
---|---|
15 ** :xxx: media descriptor is ignored. | 15 ** :xxx: media descriptor is ignored. |
16 ** | 16 ** |
17 ** There are a few special Emacs-W3 sections | 17 ** There are a few special Emacs-W3 sections |
18 ** | 18 ** |
19 ** emacs - only include this chunk if you are using Emacs 19 | 19 ** emacs - only include this chunk if you are using Emacs 19 |
20 ** speech - only include this chunk if you are using Emacspeak for audio | |
20 ** xemacs - only include this chunk if you are using XEmacs | 21 ** xemacs - only include this chunk if you are using XEmacs |
21 ** normal - always include this chunk (useful for switching out of another | 22 ** normal - always include this chunk (useful for switching out of another |
22 ** device-type block | 23 ** device-type block |
23 ******************************************************************************/ | 24 ******************************************************************************/ |
24 | 25 |
37 ** Since Emacs-19 doesn't handle mixed-sized fonts very well just yet, | 38 ** Since Emacs-19 doesn't handle mixed-sized fonts very well just yet, |
38 ** we only use them under XEmacs. Hopefully, this will change soon. | 39 ** we only use them under XEmacs. Hopefully, this will change soon. |
39 */ | 40 */ |
40 | 41 |
41 :xemacs: | 42 :xemacs: |
42 h1 { font-size : +10pt } | 43 h1 { font-size : +12pt } |
43 h2 { font-size : +6pt } | 44 h2 { font-size : +6pt } |
44 h3 { font-size : +3pt } | 45 h3 { font-size : +4pt } |
45 h4 { } /* Do nothing, normal sized font, just bold */ | 46 h5 { font-size : -2pt } |
46 h5 { font-size : -3pt } | 47 h6 { font-size : -4pt } |
47 h6 { font-size : -6pt } | |
48 | 48 |
49 /* | 49 /* |
50 ** Emacs-19 also doesn't handle how Emacs-W3 changes this type of font | 50 ** Emacs-19 also doesn't handle how Emacs-W3 changes this type of font |
51 ** very well, so lets only do it under XEmacs for now. Emacs-19 can only | 51 ** very well, so lets only do it under XEmacs for now. Emacs-19 can only |
52 ** do monospaced fonts anyway, so its redundant. | 52 ** do monospaced fonts anyway, so its redundant. |
53 */ | 53 */ |
54 pre,xmp, | 54 pre,xmp, |
55 plaintext { font-family: monospace; display: block } | 55 plaintext { font-family: monospace } |
56 key,code,tt { font-family: monospace } | 56 key,code,tt { font-family: monospace } |
57 | 57 |
58 /* | 58 /* |
59 ** Best we can do under Emacs-19 is use the default font and try to make | 59 ** Best we can do under Emacs-19 is use the default font and try to make |
60 ** the headers stand out somehow. | 60 ** the headers stand out somehow. |
72 dfn { font-style: italic } | 72 dfn { font-style: italic } |
73 s,strike { color: green } | 73 s,strike { color: green } |
74 | 74 |
75 :normal: | 75 :normal: |
76 p { display: block } | 76 p { display: block } |
77 pre,xmp { display: block; white-space: pre; } | |
78 blockquote{ display: block; margin-left: 5; margin-right: 5; } | |
77 | 79 |
78 /* | 80 /* |
79 ** List formatting instructions | 81 ** List formatting instructions |
80 */ | 82 */ |
81 | 83 |
82 dl,ul,ol { | 84 ul { display: block; } |
83 display: block; | 85 ol { display: block; } |
84 margin-left: 5em | 86 dl { display: block; } |
85 } | 87 dt { font-weight: bold; display: list-item } |
86 | 88 dd { display: list-item; margin-left: 5; } |
87 li { display: list-item } | 89 li { display: list-item; margin-left: 5; } |
88 dt { font-weight: bold; display: block } | 90 ul li { list-style: circle; } |
89 dd { insert-before: 3em; display: list-item } | 91 ol li { list-style: decimal; } |
92 | |
93 /* These are to make nested list items look better */ | |
94 ul ul,ol ul,ol ol,ul ol { display: line; } | |
90 | 95 |
91 /* | 96 /* |
92 ** All logical emphasis tags, the way god intended | 97 ** All logical emphasis tags, the way god intended |
93 */ | 98 */ |
94 | 99 |
100 div { display: line; } | |
95 strong,em { font-weight: bold } | 101 strong,em { font-weight: bold } |
96 dfn { font-style: italic } | 102 dfn { font-style: italic } |
97 s,strike { text-decoration: line-through } | 103 s,strike { text-decoration: line-through } |
98 sub { text-position: sub } | 104 sub { text-position: sub } |
99 sup { text-position: sup } | 105 sup { text-position: sup } |
104 */ | 110 */ |
105 b { font-weight: bold } | 111 b { font-weight: bold } |
106 i { font-style: italic } | 112 i { font-style: italic } |
107 u { text-decoration: underline } | 113 u { text-decoration: underline } |
108 blink { text-decoration: blink } | 114 blink { text-decoration: blink } |
109 | 115 center { display: line; text-align: center; } |
110 /* | 116 /* |
111 ** Various and sundry | 117 ** Various and sundry |
112 */ | 118 */ |
113 br { display: list-item } | 119 br { display: line } |
114 hr { display: list-item } | 120 hr { display: line; text-align: center; } |
115 hr[SRC] { replace: {SRC} } | |
116 | 121 |
117 | 122 |
118 /* | 123 /* |
119 ** Hypertext link coloring | 124 ** Hypertext link coloring |
120 */ | 125 */ |
123 a:link { color: #FF0000 } | 128 a:link { color: #FF0000 } |
124 a:visited { color: #B22222 } | 129 a:visited { color: #B22222 } |
125 a:active { color: #FF0000 } | 130 a:active { color: #FF0000 } |
126 | 131 |
127 /* | 132 /* |
133 ** Table formatting | |
134 */ | |
135 table { display: block; } | |
136 th { display: block; font-weight: bold; text-align: center; } | |
137 td { display: block; text-align: left; } | |
138 caption { display: block; text-align: center; } | |
139 | |
140 /* | |
128 ** Various other character-level formatting issues | 141 ** Various other character-level formatting issues |
129 */ | 142 */ |
130 | 143 |
131 address { align : right } | 144 address { text-align: right; display: line; } |
132 abstract { font-style : bold & italic ; align : indent } | 145 abstract { font-style: bold & italic ; text-align : indent } |
133 quote { font-style : italic ; align : indent } | 146 quote { font-style: italic ; text-align : indent } |
134 | 147 |
135 /* | 148 /* |
136 ** Now for monochrome defaults | 149 ** Now for monochrome defaults |
137 */ | 150 */ |
138 :mono: | 151 :mono: |
143 /* | 156 /* |
144 ** All the TTY specific formatting | 157 ** All the TTY specific formatting |
145 */ | 158 */ |
146 | 159 |
147 :tty: | 160 :tty: |
148 | |
149 /* | 161 /* |
150 ** First, handle some stuff for generic TTYs to emulate our old | 162 ** First, handle some stuff for generic TTYs to emulate our old |
151 ** behaviour with w3-delimit-links and a subset of w3-delimit-emphasis | 163 ** behaviour with w3-delimit-links and a subset of w3-delimit-emphasis |
152 */ | 164 */ |
153 | 165 |
154 h1,h2,h3, | 166 h1,h2,h3, |
155 h4,h5,h6 { | 167 h4,h5,h6 { |
156 insert.before: *; | 168 insert-before: *; |
157 insert.after: * | 169 insert-after: * |
158 } | 170 } |
159 | 171 |
160 a:visited{ | 172 a:visited{ |
161 insert.before: "{{"; | 173 insert-before: "{{"; |
162 insert.after: "}}" | 174 insert-after: "}}" |
163 } | 175 } |
164 | 176 |
165 a:link { | 177 a:link { |
166 insert.before: "[["; | 178 insert-before: "[["; |
167 insert.after: "]]" | 179 insert-after: "]]" |
168 } | 180 } |
169 | 181 |
170 /* End Generic TTY */ | 182 /* End Generic TTY */ |
171 | 183 |
172 :ansi-tty: | 184 :ansi-tty: |
198 a:link { color : red } | 210 a:link { color : red } |
199 a:active { color : yellow } | 211 a:active { color : yellow } |
200 | 212 |
201 :speech: | 213 :speech: |
202 h1,h2,h3, | 214 h1,h2,h3, |
203 h4,h5,h6 { voice-family: paul; stress: 8; } | 215 h4,h5,h6 { voice-family: paul; stress: 2; richness: 9; } |
204 h1 { pitch: 9; pitch-range: 9; } | 216 h1 { pitch: 1; pitch-range: 9; } |
205 h2 { pitch: 8; pitch-range: 8; } | 217 h2 { pitch: 2; pitch-range: 8; } |
206 h3 { pitch: 7; pitch-range: 7; } | 218 h3 { pitch: 3; pitch-range: 7; } |
207 h4 { pitch: 6; pitch-range: 6; } | 219 h4 { pitch: 4; pitch-range: 6; } |
208 h5,h6 { pitch: 5; pitch-range: 5; } | 220 h5 { pitch: 5; pitch-range: 5; } |
209 li { pitch: 6; richness: 6; } | 221 h6 { pitch: 6; pitch-range: 4; } |
210 dt { voice-family: harry; } | 222 |
211 dd { pitch: 6; richness: 6; } | 223 li,dt,dd { pitch: 6; richness: 6; } |
212 pre,xmp, | 224 dt { stress: 8; } |
213 plaintext { pitch: 1; pitch-range: 1; stress: 1; richness: 9; } | 225 |
214 key,code, | 226 pre,xmp,plaintext,key,code,tt { pitch: 1; |
215 tt { pitch: 1; pitch-range: 1; stress: 1; richness: 9; } | 227 pitch-range: 1; |
216 strong,em { pitch: 6; stress: 8; pitch-range: 9; } | 228 stress: 1; |
217 dfn { pitch: 7; pitch-range: 6; stress: 6; } | 229 richness: 8; |
218 s,strike { richness: 9; } | 230 } |
219 b { pitch: 6; pitch-range: 9; stress: 8; } | 231 em { pitch: 6; pitch-range: 6; stress: 6; richness: 5; } |
220 i { pitch: 7; pitch-range: 6; stress: 6; } | 232 strong { pitch: 6; pitch-range: 6; stress: 9; richness: 9; } |
221 u { richness: 0; } | 233 dfn { pitch: 7; pitch-range: 6; stress: 6; } |
222 a:link { voice-family: harry; } | 234 s,strike { richness: 0; } |
223 a:visited { voice-family: betty; } | 235 i { pitch: 6; pitch-range: 6; stress: 6; richness: 5 } |
224 a:active { voice-family: ursula; } | 236 b { pitch: 6; pitch-range: 6; stress: 9; richness: 9; } |
237 u { richness: 0; } | |
238 a:link { voice-family: harry; } | |
239 a:visited { voice-family: betty;} | |
240 a:active { voice-family: betty; pitch-range: 8; pitch: 8 } |