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#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#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#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) ";
}
div#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) ";
}
div#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;
}

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


/* License

Copyright 2004-2005 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: 2005/07/22 13:50:20 $ */
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			html.formal-specification div.section#ABSTRACT,
50			html.formal-specification div.section#STATUS {
51			counter-increment: none;
52			}
53
54			html.formal-specification h1,
55			html.formal-specification h2,
56			html.formal-specification h3,
57			html.formal-specification h4,
58			html.formal-specification h5,
59			html.formal-specification h6 {
60			color: #400080;
61			background-color: transparent;
62			}
63
64			h2, div.appendix h3 {
65			font-size: 140%;
66			counter-increment: chapter;
67			counter-reset: section;
68			}
69
70			h2:before {
71			content: "";
72			content: counter(chapter) ". ";
73			}
74
75			div.appendix h3:before {
76			content: counter(appendix, upper-alpha) "." counter(chapter) ". ";
77			}
78
79			html.formal-specification div.header > h2,
80			html.formal-specification div.section#ABSTRACT > h2,
81			html.formal-specification div.section#STATUS > h2 {
82			counter-increment: none;
83			}
84
85			html.formal-specification div.header > h2:before,
86			html.formal-specification div.section#ABSTRACT > h2:before,
87			html.formal-specification div.section#STATUS > h2:before {
88			content: "";
89			content: normal;
90			counter-increment: none;
91			}
92
93			h3, div.appendix h4 {
94			counter-increment: section;
95			counter-reset: subsection;
96			font-size: 120%;
97			}
98
99			h3:before {
100			content: "";
101			content: counter(chapter) "." counter(section) ". ";
102			}
103
104			html.formal-specification h4:before {
105			content: "";
106			content: counter(appendix, upper-alpha) "."
107			counter(chapter) "." counter(section) ". ";
108			counter-reset: subsection;
109			}
110
111			html.formal-specification h5:before {
112			content: "";
113			content: counter(appendix, upper-alpha) "."
114			counter(chapter) "." counter(section) "."
115			counter(subsection)". ";
116			counter-increment: subsection;
117			}
118
119			div.section.normative h2:after {
120			content: " ($B5,Dj(B) ";
121			}
122			div.section.normative h2:lang(en):after {
123			content: " (Normative) ";
124			}
125			div#REFERENCE.section.normative h2:after {
126			display: none;
127			content: "";
128			}
129
130			div.section.informative > h2:after,
131			div.section.informative > h3:after {
132			content: " ($B;29M(B) ";
133			}
134			div.section.informative > h2:lang(en):after,
135			div.section.informative > h3:lang(en):after {
136			content: " (Informative) ";
137			}
138			div#INFORMATIVE-REFERENCE.section.informative > h2:after {
139			display: none;
140			content: "";
141			}
142
143			div.appendix {
144			margin-top: 5em;
145			border-top: solid black 1px;
146			padding-top: 1em;
147			counter-reset: chapter;
148			counter-increment: appendix;
149			}
150
151			@media print {
152			div.appendix {
153			border-style: none;
154			page-break-before: always;
155			}
156			}
157
158			div.appendix h2 {
159			counter-increment: none;
160			text-align: center;
161			}
162
163			div.appendix h2:before {
164			content: "$BImB0=q(B";
165			content: "$BImB0=q(B " counter(appendix, upper-alpha);
166			display: block;
167			}
168
169			div.appendix h2:after {
170			display: block;
171			color: gray;
172			font-size: 70%;
173			font-weight: normal;
174			}
175
176			/* --- Term Definition --- */
177
178			dl.term-definition {
179			counter-reset: term;
180			}
181
182			html.formal-specification div.section div.section
183			dl.term-definition > dd + dt {
184			margin-top: 1em;
185			}
186
187			html.formal-specification div.section div.section
188			dl.term-definition > dt:first-child:before,
189			html.formal-specification div.section div.section
190			dl.term-definition > dd + dt:before {
191			display: block;
192			content: counter(chapter) "." counter(section) "." counter(term) ". ";
193			counter-increment: term;
194			}
195
196
197			/* License
198
199			Copyright 2004-2005 Wakaba <w@suika.fam.cx>.
200
201			This program is free software; you can redistribute it and/or modify
202			it under the terms of the GNU General Public License as published by
203			the Free Software Foundation; either version 2 of the License, or
204			(at your option) any later version.
205
206			This program is distributed in the hope that it will be useful,
207			but WITHOUT ANY WARRANTY; without even the implied warranty of
208			MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
209			GNU General Public License for more details.
210
211			You should have received a copy of the GNU General Public License
212			along with this program; see the file COPYING. If not, write to
213			the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
214			Boston, MA 02111-1307, USA.
215
216			*/
217
218			/* $Date: 2005/07/22 13:50:20 $ */