style/html/spec.css

@charset 'iso-2022-jp';
@import 'xhtml.css';

/* Document Header in Body */

div.header {
  display: block;
  padding-bottom: 1em;
  border-bottom: 2px groove #C0C0C0;
}

/* Title */
html.formal-specification h1 {
  margin-bottom: 0;
  text-align: left;
  line-height: 1.5;
  font-size: 170%;
}

html.formal-specification h1 + h1:lang(en) {
  margin-top: 0;
  font-size: 120%;
}

@media screen {
  html.formal-specification h1 + h1:lang(en) {
    opacity: 0.3;
  }
}

/* Status and Date */
html.formal-specification h1 + h2 {
  margin-top: 0.67em;
  text-align: left;
  line-height: 1.5;
  font-size: 140%;
}

/* --- Sections --- */

body {
  counter-reset: chapter appendix;
  padding-left: 2em;
}

div.section {
  clear: both;
}

html.formal-specification div.section#abstract,
html.formal-specification div.section#ABSTRACT,
html.formal-specification div.section#status,
html.formal-specification div.section#STATUS {
  counter-increment: none;
}

html.formal-specification h1, 
html.formal-specification h2,
html.formal-specification h3,
html.formal-specification h4,
html.formal-specification h5,
html.formal-specification h6 {
  color: #400080;
  background-color: transparent;
}

h2, div.appendix h3 {
  font-size: 140%;
  counter-increment: chapter;
  counter-reset: section;
}

h2:before {
  content: "";
  content: counter(chapter) ". ";
}

div.appendix h3:before {
  content: counter(appendix, upper-alpha) "." counter(chapter) ". ";
}

html.formal-specification div.header > h2,
html.formal-specification div.section#abstract > h2, 
html.formal-specification div.section#ABSTRACT > h2, 
html.formal-specification div.section#status > h2,
html.formal-specification div.section#STATUS > h2 {
  counter-increment: none;
}

html.formal-specification div.header > h2:before,
html.formal-specification div.section#abstract > h2:before, 
html.formal-specification div.section#ABSTRACT > h2:before, 
html.formal-specification div.section#status > h2:before,
html.formal-specification div.section#STATUS > h2:before {
  content: "";
  content: normal;
  counter-increment: none;
}

h3, div.appendix h4 {
  counter-increment: section;
  counter-reset: subsection;
  font-size: 120%;
}

h3:before {
  content: "";
  content: counter(chapter) "." counter(section) ". ";
}

html.formal-specification h4:before {
  content: "";
  content: counter(appendix, upper-alpha) "."
           counter(chapter) "." counter(section) ". ";
  counter-reset: subsection;
}

html.formal-specification h5:before {
  content: "";
  content: counter(appendix, upper-alpha) "."
           counter(chapter) "." counter(section) "."
           counter(subsection)". ";
  counter-increment: subsection;
}

div.section.normative h2:after {
  content: " ($B5,Dj(B) ";
}
div.section.normative h2:lang(en):after {
  content: " (Normative) ";
}
#reference.section.normative h2:after,
#REFERENCE.section.normative h2:after {
  display: none;
  content: "";
}

div.section.informative > h2:after,
div.section.informative > h3:after {
  content: " ($B;29M(B) ";
}
div.section.informative > h2:lang(en):after,
div.section.informative > h3:lang(en):after {
  content: " (Informative) ";
}
.reference.section.informative > h2:after,
.reference.section.informative > h3:after,
#INFORMATIVE-REFERENCE.section.informative > h2:after {
  display: none;
  content: "";
}

div.appendix {
  margin-top: 5em;
  border-top: solid black 1px;
  padding-top: 1em;
  counter-reset: chapter;
  counter-increment: appendix;
}

@media print {
  div.appendix {
    border-style: none;
    page-break-before: always;
  }
}

div.appendix h2 {
  counter-increment: none;
  text-align: center;
}

div.appendix h2:before {
  content: "$BImB0=q(B";
  content: "$BImB0=q(B " counter(appendix, upper-alpha);
  display: block;
}

div.appendix h2:after {
  display: block;
  color: gray;
  font-size: 70%;
  font-weight: normal;
}

html.anolis h2:before,
html.anolis h3:before,
html.anolis h4:before,
html.anolis h5:before,
html.anolis h6:before {
  content: "";
}

.toc li {
  list-style: none;
}

/*
  Paragraphs at the beginning of sections, such as
  "This section is non-normative".
*/
.section-info {
  margin-bottom: 1em;
  text-indent: 0;
  line-height: 1.5;
}
.section-info:lang(en), .section-info:lang(ja) {
  text-indent: 0;
}
.section-info:lang(en) {
  font-style: italic;
}

/* --- Ordered List --- */

ol li, ol li ol li, ol li ol li ol li {
  list-style-type: decimal;
}

/* --- Term Definition --- */

dl.term-definition {
  counter-reset: term;
}

html.formal-specification div.section div.section
dl.term-definition > dd + dt {
  margin-top: 1em;
}

html.formal-specification div.section div.section
dl.term-definition > dt:first-child:before,
html.formal-specification div.section div.section
dl.term-definition > dd + dt:before {
  display: block;
  content: counter(chapter) "." counter(section) "." counter(term) ". ";
  counter-increment: term;
}


/* --- References --- */

.standard-number,
.standard-section,
.standard-this {
  font-family: sans-serif;
  font-weight: bolder;
  text-decoration: none;
}

cite.bibref.normative {
  color: red;
}

cite.bibref.informative {
  color: green;
}
div.reference > dl > dt,
#REFERENCE > dl > dt {
  width: 7em;
  float: left;
  clear: left;
  list-style: none;
  font-weight: normal;
}

div.normative.reference > dl > dt {
  color: red;
  background-color: transparent;
}

div.informative.reference > dl > dt {
  color: green;
  background-color: transparent;
}

div.reference > dl > dt:before,
div#REFERENCE > dl > dt:before {
  content: "[";
}

div.reference > dl > dt:after,
div#REFERENCE > dl > dt:after {
  content: "]";
}

div.reference > dl > dd,
div#REFERENCE > dl > dd {
  margin-left: 0.5em;
  margin-bottom: 1em;
  padding-left: 1em;
}

div.reference > dl > dd + dd,
div#REFERENCE > dl > dd + dd {
  margin-left: 9.5em;
}


/* License

Copyright 2004-2007 Wakaba <w@suika.fam.cx>.

This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2 of the License, or
(at your option) any later version.

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with this program; see the file COPYING.  If not, write to
the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
Boston, MA 02111-1307, USA.

*/

/* $Date: 2007/12/09 09:43:22 $ */
1	wakaba	1.1	@charset 'iso-2022-jp';
2			@import 'xhtml.css';
3
4			/* Document Header in Body */
5
6			div.header {
7			display: block;
8			padding-bottom: 1em;
9			border-bottom: 2px groove #C0C0C0;
10			}
11
12			/* Title */
13			html.formal-specification h1 {
14			margin-bottom: 0;
15			text-align: left;
16			line-height: 1.5;
17			font-size: 170%;
18			}
19
20			html.formal-specification h1 + h1:lang(en) {
21			margin-top: 0;
22			font-size: 120%;
23			}
24
25			@media screen {
26			html.formal-specification h1 + h1:lang(en) {
27			opacity: 0.3;
28			}
29			}
30
31			/* Status and Date */
32			html.formal-specification h1 + h2 {
33			margin-top: 0.67em;
34			text-align: left;
35			line-height: 1.5;
36			font-size: 140%;
37			}
38
39			/* --- Sections --- */
40
41			body {
42			counter-reset: chapter appendix;
43	wakaba	1.5	padding-left: 2em;
44	wakaba	1.1	}
45
46			div.section {
47			clear: both;
48			}
49
50	wakaba	1.3	html.formal-specification div.section#abstract,
51	wakaba	1.1	html.formal-specification div.section#ABSTRACT,
52	wakaba	1.3	html.formal-specification div.section#status,
53	wakaba	1.1	html.formal-specification div.section#STATUS {
54			counter-increment: none;
55			}
56
57			html.formal-specification h1,
58			html.formal-specification h2,
59			html.formal-specification h3,
60			html.formal-specification h4,
61			html.formal-specification h5,
62			html.formal-specification h6 {
63			color: #400080;
64			background-color: transparent;
65			}
66
67			h2, div.appendix h3 {
68			font-size: 140%;
69			counter-increment: chapter;
70			counter-reset: section;
71			}
72
73			h2:before {
74			content: "";
75			content: counter(chapter) ". ";
76			}
77
78			div.appendix h3:before {
79			content: counter(appendix, upper-alpha) "." counter(chapter) ". ";
80			}
81
82			html.formal-specification div.header > h2,
83	wakaba	1.3	html.formal-specification div.section#abstract > h2,
84	wakaba	1.1	html.formal-specification div.section#ABSTRACT > h2,
85	wakaba	1.3	html.formal-specification div.section#status > h2,
86	wakaba	1.1	html.formal-specification div.section#STATUS > h2 {
87			counter-increment: none;
88			}
89
90			html.formal-specification div.header > h2:before,
91	wakaba	1.3	html.formal-specification div.section#abstract > h2:before,
92	wakaba	1.1	html.formal-specification div.section#ABSTRACT > h2:before,
93	wakaba	1.3	html.formal-specification div.section#status > h2:before,
94	wakaba	1.1	html.formal-specification div.section#STATUS > h2:before {
95			content: "";
96			content: normal;
97			counter-increment: none;
98			}
99
100			h3, div.appendix h4 {
101			counter-increment: section;
102			counter-reset: subsection;
103			font-size: 120%;
104			}
105
106			h3:before {
107			content: "";
108			content: counter(chapter) "." counter(section) ". ";
109			}
110
111			html.formal-specification h4:before {
112			content: "";
113			content: counter(appendix, upper-alpha) "."
114			counter(chapter) "." counter(section) ". ";
115			counter-reset: subsection;
116			}
117
118			html.formal-specification h5:before {
119			content: "";
120			content: counter(appendix, upper-alpha) "."
121			counter(chapter) "." counter(section) "."
122			counter(subsection)". ";
123			counter-increment: subsection;
124			}
125
126			div.section.normative h2:after {
127			content: " ($B5,Dj(B) ";
128			}
129			div.section.normative h2:lang(en):after {
130			content: " (Normative) ";
131			}
132	wakaba	1.3	#reference.section.normative h2:after,
133			#REFERENCE.section.normative h2:after {
134	wakaba	1.1	display: none;
135			content: "";
136			}
137
138			div.section.informative > h2:after,
139			div.section.informative > h3:after {
140			content: " ($B;29M(B) ";
141			}
142			div.section.informative > h2:lang(en):after,
143			div.section.informative > h3:lang(en):after {
144			content: " (Informative) ";
145			}
146	wakaba	1.3	.reference.section.informative > h2:after,
147			.reference.section.informative > h3:after,
148			#INFORMATIVE-REFERENCE.section.informative > h2:after {
149	wakaba	1.1	display: none;
150			content: "";
151			}
152
153			div.appendix {
154			margin-top: 5em;
155			border-top: solid black 1px;
156			padding-top: 1em;
157			counter-reset: chapter;
158			counter-increment: appendix;
159			}
160
161			@media print {
162			div.appendix {
163			border-style: none;
164			page-break-before: always;
165			}
166			}
167
168			div.appendix h2 {
169			counter-increment: none;
170			text-align: center;
171			}
172
173			div.appendix h2:before {
174			content: "$BImB0=q(B";
175			content: "$BImB0=q(B " counter(appendix, upper-alpha);
176			display: block;
177			}
178
179			div.appendix h2:after {
180			display: block;
181			color: gray;
182			font-size: 70%;
183			font-weight: normal;
184			}
185
186	wakaba	1.8	html.anolis h2:before,
187			html.anolis h3:before,
188			html.anolis h4:before,
189			html.anolis h5:before,
190			html.anolis h6:before {
191			content: "";
192			}
193
194			.toc li {
195			list-style: none;
196			}
197
198	wakaba	1.5	/*
199			Paragraphs at the beginning of sections, such as
200			"This section is non-normative".
201			*/
202			.section-info {
203			margin-bottom: 1em;
204			text-indent: 0;
205			line-height: 1.5;
206			}
207			.section-info:lang(en), .section-info:lang(ja) {
208			text-indent: 0;
209			}
210	wakaba	1.7	.section-info:lang(en) {
211			font-style: italic;
212			}
213	wakaba	1.5
214	wakaba	1.4	/* --- Ordered List --- */
215
216			ol li, ol li ol li, ol li ol li ol li {
217			list-style-type: decimal;
218			}
219
220	wakaba	1.1	/* --- Term Definition --- */
221
222			dl.term-definition {
223			counter-reset: term;
224			}
225
226			html.formal-specification div.section div.section
227			dl.term-definition > dd + dt {
228			margin-top: 1em;
229			}
230
231			html.formal-specification div.section div.section
232			dl.term-definition > dt:first-child:before,
233			html.formal-specification div.section div.section
234			dl.term-definition > dd + dt:before {
235			display: block;
236			content: counter(chapter) "." counter(section) "." counter(term) ". ";
237			counter-increment: term;
238			}
239
240
241	wakaba	1.2	/* --- References --- */
242
243			.standard-number,
244			.standard-section,
245			.standard-this {
246			font-family: sans-serif;
247			font-weight: bolder;
248			text-decoration: none;
249			}
250
251			cite.bibref.normative {
252			color: red;
253			}
254
255			cite.bibref.informative {
256			color: green;
257			}
258			div.reference > dl > dt,
259			#REFERENCE > dl > dt {
260			width: 7em;
261			float: left;
262			clear: left;
263			list-style: none;
264			font-weight: normal;
265			}
266
267			div.normative.reference > dl > dt {
268			color: red;
269			background-color: transparent;
270			}
271
272			div.informative.reference > dl > dt {
273			color: green;
274			background-color: transparent;
275			}
276
277			div.reference > dl > dt:before,
278			div#REFERENCE > dl > dt:before {
279			content: "[";
280			}
281
282			div.reference > dl > dt:after,
283			div#REFERENCE > dl > dt:after {
284			content: "]";
285			}
286
287			div.reference > dl > dd,
288			div#REFERENCE > dl > dd {
289	wakaba	1.6	margin-left: 0.5em;
290	wakaba	1.2	margin-bottom: 1em;
291			padding-left: 1em;
292			}
293
294			div.reference > dl > dd + dd,
295			div#REFERENCE > dl > dd + dd {
296			margin-left: 9.5em;
297			}
298
299
300	wakaba	1.1	/* License
301
302	wakaba	1.4	Copyright 2004-2007 Wakaba <w@suika.fam.cx>.
303	wakaba	1.1
304			This program is free software; you can redistribute it and/or modify
305			it under the terms of the GNU General Public License as published by
306			the Free Software Foundation; either version 2 of the License, or
307			(at your option) any later version.
308
309			This program is distributed in the hope that it will be useful,
310			but WITHOUT ANY WARRANTY; without even the implied warranty of
311			MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
312			GNU General Public License for more details.
313
314			You should have received a copy of the GNU General Public License
315			along with this program; see the file COPYING. If not, write to
316			the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
317			Boston, MA 02111-1307, USA.
318
319			*/
320
321	wakaba	1.8	/* $Date: 2007/12/09 09:43:22 $ */