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;
}

/*
  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/10/07 09:18:13 $ */
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.5	/*
187			Paragraphs at the beginning of sections, such as
188			"This section is non-normative".
189			*/
190			.section-info {
191			margin-bottom: 1em;
192			text-indent: 0;
193			line-height: 1.5;
194			}
195			.section-info:lang(en), .section-info:lang(ja) {
196			text-indent: 0;
197			}
198	wakaba	1.7	.section-info:lang(en) {
199			font-style: italic;
200			}
201	wakaba	1.5
202	wakaba	1.4	/* --- Ordered List --- */
203
204			ol li, ol li ol li, ol li ol li ol li {
205			list-style-type: decimal;
206			}
207
208	wakaba	1.1	/* --- Term Definition --- */
209
210			dl.term-definition {
211			counter-reset: term;
212			}
213
214			html.formal-specification div.section div.section
215			dl.term-definition > dd + dt {
216			margin-top: 1em;
217			}
218
219			html.formal-specification div.section div.section
220			dl.term-definition > dt:first-child:before,
221			html.formal-specification div.section div.section
222			dl.term-definition > dd + dt:before {
223			display: block;
224			content: counter(chapter) "." counter(section) "." counter(term) ". ";
225			counter-increment: term;
226			}
227
228
229	wakaba	1.2	/* --- References --- */
230
231			.standard-number,
232			.standard-section,
233			.standard-this {
234			font-family: sans-serif;
235			font-weight: bolder;
236			text-decoration: none;
237			}
238
239			cite.bibref.normative {
240			color: red;
241			}
242
243			cite.bibref.informative {
244			color: green;
245			}
246			div.reference > dl > dt,
247			#REFERENCE > dl > dt {
248			width: 7em;
249			float: left;
250			clear: left;
251			list-style: none;
252			font-weight: normal;
253			}
254
255			div.normative.reference > dl > dt {
256			color: red;
257			background-color: transparent;
258			}
259
260			div.informative.reference > dl > dt {
261			color: green;
262			background-color: transparent;
263			}
264
265			div.reference > dl > dt:before,
266			div#REFERENCE > dl > dt:before {
267			content: "[";
268			}
269
270			div.reference > dl > dt:after,
271			div#REFERENCE > dl > dt:after {
272			content: "]";
273			}
274
275			div.reference > dl > dd,
276			div#REFERENCE > dl > dd {
277	wakaba	1.6	margin-left: 0.5em;
278	wakaba	1.2	margin-bottom: 1em;
279			padding-left: 1em;
280			}
281
282			div.reference > dl > dd + dd,
283			div#REFERENCE > dl > dd + dd {
284			margin-left: 9.5em;
285			}
286
287
288	wakaba	1.1	/* License
289
290	wakaba	1.4	Copyright 2004-2007 Wakaba <w@suika.fam.cx>.
291	wakaba	1.1
292			This program is free software; you can redistribute it and/or modify
293			it under the terms of the GNU General Public License as published by
294			the Free Software Foundation; either version 2 of the License, or
295			(at your option) any later version.
296
297			This program is distributed in the hope that it will be useful,
298			but WITHOUT ANY WARRANTY; without even the implied warranty of
299			MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
300			GNU General Public License for more details.
301
302			You should have received a copy of the GNU General Public License
303			along with this program; see the file COPYING. If not, write to
304			the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
305			Boston, MA 02111-1307, USA.
306
307			*/
308
309	wakaba	1.7	/* $Date: 2007/10/07 09:18:13 $ */