1 /* Copied from http://bakefile.sourceforge.net/, which appears
2 licensed under the GNU GPL. */
5 /***************************************************************************
6 Basic headers and text:
7 ***************************************************************************/
11 font-family: sans-serif
;
13 margin: 2em 1em 2em 1em;
27 h2
/* chapters, appendices, subtitle */
32 /* Extra space between chapters, appendices. */
33 div
.chapter
> div
.titlepage h2
, div
.appendix
> div
.titlepage h2
38 div
.section
> div
.titlepage h2
/* sections */
55 div
.refnamediv h2
, div
.refsynopsisdiv h2
, div
.refsection h2
/* refentry parts */
67 /***************************************************************************
69 ***************************************************************************/
73 border: 1px solid
#6185a0;
86 /***************************************************************************
88 ***************************************************************************/
90 pre
.screen
, pre
.programlisting
92 border: 1px solid
#6185a0;
98 font-family: monospace
;
102 div
.example pre
.programlisting
110 /***************************************************************************
112 ***************************************************************************/
116 border: 1px solid
#6185a0;
121 padding: 0.3em 0.3em 0.3em 0.3em;
125 div
.note
, div
.warning
130 div
.note h3
, div
.warning h3
135 padding-right: 0.5em;
139 div
.note p
, div
.warning p
144 div
.note h3
+ p
, div
.warning h3
+ p
161 /***************************************************************************
162 Links colors and highlighting:
163 ***************************************************************************/
165 a:link
{ color: #0048b3; }
166 a:visited
{ color: #002a6a; }
167 a:hover
{ background: #ffffcd; }
170 /***************************************************************************
172 ***************************************************************************/
181 /***************************************************************************
183 ***************************************************************************/
196 div
.variablelist dd p
, div
.glosslist dd p
201 div
.variablelist dd
, div
.glosslist dd
227 div
.informaltable table
229 border: 1px solid
#6185a0;
239 div
.informaltable td
.default
255 td
.varname
, td
.tagname
, td
.paramname
267 table
.productionset table
.productionset
269 font-family: monospace
;
274 // font-family: monospace
;
275 // font-style: italic
;
276 // font-weight: normal
;