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

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

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