2004-02-10 16:14:47 +00:00
|
|
|
/* Copied from http://bakefile.sourceforge.net/, which appears
|
|
|
|
licensed under the GNU GPL. */
|
2003-12-02 15:36:49 +00:00
|
|
|
|
|
|
|
|
|
|
|
/***************************************************************************
|
|
|
|
Basic headers and text:
|
|
|
|
***************************************************************************/
|
|
|
|
|
|
|
|
body
|
|
|
|
{
|
2012-05-11 20:21:21 +00:00
|
|
|
font-family: "Nimbus Sans L", sans-serif;
|
2003-12-02 15:36:49 +00:00
|
|
|
background: white;
|
|
|
|
margin: 2em 1em 2em 1em;
|
|
|
|
}
|
|
|
|
|
2012-05-11 20:21:21 +00:00
|
|
|
h1, h2, h3, h4
|
2003-12-02 15:36:49 +00:00
|
|
|
{
|
|
|
|
color: #005aa0;
|
|
|
|
}
|
|
|
|
|
2004-01-08 16:56:40 +00:00
|
|
|
h1 /* title */
|
2003-12-02 15:36:49 +00:00
|
|
|
{
|
2004-01-08 16:56:40 +00:00
|
|
|
font-size: 200%;
|
2003-12-02 15:36:49 +00:00
|
|
|
}
|
|
|
|
|
2014-12-13 20:50:01 +00:00
|
|
|
div.part h1
|
|
|
|
{
|
|
|
|
font-size: 240%;
|
|
|
|
}
|
|
|
|
|
2004-01-08 16:56:40 +00:00
|
|
|
h2 /* chapters, appendices, subtitle */
|
|
|
|
{
|
|
|
|
font-size: 180%;
|
|
|
|
}
|
|
|
|
|
2014-09-16 13:37:38 +00:00
|
|
|
div.part
|
|
|
|
{
|
2014-12-13 20:50:01 +00:00
|
|
|
margin-top: 4em;
|
2014-09-16 13:37:38 +00:00
|
|
|
}
|
|
|
|
|
2004-01-08 16:56:40 +00:00
|
|
|
/* Extra space between chapters, appendices. */
|
|
|
|
div.chapter > div.titlepage h2, div.appendix > div.titlepage h2
|
|
|
|
{
|
|
|
|
margin-top: 1.5em;
|
|
|
|
}
|
|
|
|
|
2006-09-29 14:16:41 +00:00
|
|
|
div.section > div.titlepage h2 /* sections */
|
2003-12-02 15:36:49 +00:00
|
|
|
{
|
|
|
|
font-size: 150%;
|
2006-09-29 14:16:41 +00:00
|
|
|
margin-top: 1.5em;
|
2006-09-29 10:31:56 +00:00
|
|
|
}
|
|
|
|
|
2006-10-03 15:19:05 +00:00
|
|
|
h3 /* subsections */
|
2004-01-08 16:56:40 +00:00
|
|
|
{
|
|
|
|
font-size: 125%;
|
|
|
|
}
|
|
|
|
|
2007-10-24 13:54:06 +00:00
|
|
|
div.simplesect h2
|
|
|
|
{
|
|
|
|
font-size: 110%;
|
|
|
|
}
|
|
|
|
|
2006-10-03 15:19:05 +00:00
|
|
|
div.appendix h3
|
2004-01-08 16:56:40 +00:00
|
|
|
{
|
2006-10-03 15:19:05 +00:00
|
|
|
font-size: 150%;
|
|
|
|
margin-top: 1.5em;
|
2004-01-08 16:56:40 +00:00
|
|
|
}
|
|
|
|
|
2014-12-13 22:21:14 +00:00
|
|
|
div.refentry\.separator
|
|
|
|
{
|
|
|
|
margin-top: 2.5em;
|
|
|
|
margin-bottom: 2em;
|
|
|
|
}
|
|
|
|
|
2006-10-03 15:19:05 +00:00
|
|
|
div.refnamediv h2, div.refsynopsisdiv h2, div.refsection h2 /* refentry parts */
|
2003-12-02 15:36:49 +00:00
|
|
|
{
|
2006-10-03 15:19:05 +00:00
|
|
|
margin-top: 1.4em;
|
2004-01-08 16:56:40 +00:00
|
|
|
font-size: 125%;
|
2003-12-02 15:36:49 +00:00
|
|
|
}
|
|
|
|
|
2006-10-03 15:19:05 +00:00
|
|
|
div.refsection h3
|
2006-10-02 20:28:52 +00:00
|
|
|
{
|
2006-10-03 15:19:05 +00:00
|
|
|
font-size: 110%;
|
2006-10-02 20:28:52 +00:00
|
|
|
}
|
|
|
|
|
2003-12-02 15:36:49 +00:00
|
|
|
|
|
|
|
/***************************************************************************
|
2006-10-04 08:14:35 +00:00
|
|
|
Examples:
|
2003-12-02 15:36:49 +00:00
|
|
|
***************************************************************************/
|
|
|
|
|
|
|
|
div.example
|
|
|
|
{
|
2012-05-11 20:21:21 +00:00
|
|
|
border: 1px solid #b0b0b0;
|
2003-12-02 15:36:49 +00:00
|
|
|
padding: 6px 6px;
|
2006-10-04 08:14:35 +00:00
|
|
|
margin-left: 1.5em;
|
|
|
|
margin-right: 1.5em;
|
2006-09-29 14:16:41 +00:00
|
|
|
background: #f4f4f8;
|
2012-05-11 20:21:21 +00:00
|
|
|
border-radius: 0.4em;
|
2003-12-02 15:36:49 +00:00
|
|
|
}
|
|
|
|
|
2006-10-04 08:14:35 +00:00
|
|
|
div.example p.title
|
2003-12-02 15:36:49 +00:00
|
|
|
{
|
2006-10-04 08:14:35 +00:00
|
|
|
margin-top: 0em;
|
2003-12-02 15:36:49 +00:00
|
|
|
}
|
|
|
|
|
2012-05-11 20:21:21 +00:00
|
|
|
div.example pre
|
|
|
|
{
|
|
|
|
}
|
|
|
|
|
2003-12-02 15:36:49 +00:00
|
|
|
|
|
|
|
/***************************************************************************
|
|
|
|
Screen dumps:
|
|
|
|
***************************************************************************/
|
|
|
|
|
2006-10-02 11:50:55 +00:00
|
|
|
pre.screen, pre.programlisting
|
2003-12-02 15:36:49 +00:00
|
|
|
{
|
2018-02-19 19:38:06 +00:00
|
|
|
padding: 6px 6px;
|
2006-09-29 10:31:56 +00:00
|
|
|
margin-left: 1.5em;
|
|
|
|
margin-right: 1.5em;
|
2003-12-02 15:36:49 +00:00
|
|
|
color: #600000;
|
2006-09-29 14:16:41 +00:00
|
|
|
background: #f4f4f8;
|
2003-12-02 15:36:49 +00:00
|
|
|
font-family: monospace;
|
|
|
|
}
|
|
|
|
|
2006-10-04 08:14:35 +00:00
|
|
|
div.example pre.programlisting
|
|
|
|
{
|
|
|
|
border: 0px;
|
|
|
|
padding: 0 0;
|
|
|
|
margin: 0 0 0 0;
|
|
|
|
}
|
|
|
|
|
2003-12-02 15:36:49 +00:00
|
|
|
|
|
|
|
/***************************************************************************
|
|
|
|
Notes, warnings etc:
|
|
|
|
***************************************************************************/
|
|
|
|
|
2006-09-29 10:31:56 +00:00
|
|
|
.note, .warning
|
2003-12-02 15:36:49 +00:00
|
|
|
{
|
2012-05-11 20:21:21 +00:00
|
|
|
border: 1px solid #b0b0b0;
|
2006-09-29 10:31:56 +00:00
|
|
|
padding: 3px 3px;
|
|
|
|
margin-left: 1.5em;
|
|
|
|
margin-right: 1.5em;
|
|
|
|
margin-bottom: 1em;
|
|
|
|
padding: 0.3em 0.3em 0.3em 0.3em;
|
2003-12-02 15:36:49 +00:00
|
|
|
background: #fffff5;
|
2012-05-11 20:21:21 +00:00
|
|
|
border-radius: 0.4em;
|
2003-12-02 15:36:49 +00:00
|
|
|
}
|
|
|
|
|
2006-09-29 10:31:56 +00:00
|
|
|
div.note, div.warning
|
2003-12-02 15:36:49 +00:00
|
|
|
{
|
|
|
|
font-style: italic;
|
|
|
|
}
|
|
|
|
|
2006-09-29 10:31:56 +00:00
|
|
|
div.note h3, div.warning h3
|
2003-12-02 15:36:49 +00:00
|
|
|
{
|
|
|
|
color: red;
|
2004-10-13 15:08:35 +00:00
|
|
|
font-size: 100%;
|
2006-09-29 10:31:56 +00:00
|
|
|
padding-right: 0.5em;
|
|
|
|
display: inline;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.note p, div.warning p
|
|
|
|
{
|
|
|
|
margin-bottom: 0em;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.note h3 + p, div.warning h3 + p
|
|
|
|
{
|
|
|
|
display: inline;
|
2004-10-13 15:08:35 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
div.note h3
|
|
|
|
{
|
|
|
|
color: blue;
|
|
|
|
font-size: 100%;
|
2003-12-02 15:36:49 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
div.navfooter *
|
|
|
|
{
|
|
|
|
font-size: 90%;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/***************************************************************************
|
|
|
|
Links colors and highlighting:
|
|
|
|
***************************************************************************/
|
|
|
|
|
2012-05-11 20:21:21 +00:00
|
|
|
a { text-decoration: none; }
|
|
|
|
a:hover { text-decoration: underline; }
|
2003-12-02 15:36:49 +00:00
|
|
|
a:link { color: #0048b3; }
|
|
|
|
a:visited { color: #002a6a; }
|
|
|
|
|
|
|
|
|
|
|
|
/***************************************************************************
|
|
|
|
Table of contents:
|
|
|
|
***************************************************************************/
|
|
|
|
|
2012-05-11 20:21:21 +00:00
|
|
|
div.toc
|
2003-12-02 15:36:49 +00:00
|
|
|
{
|
|
|
|
font-size: 90%;
|
|
|
|
}
|
|
|
|
|
2012-05-11 20:21:21 +00:00
|
|
|
div.toc dl
|
|
|
|
{
|
|
|
|
margin-top: 0em;
|
|
|
|
margin-bottom: 0em;
|
|
|
|
}
|
2003-12-02 15:36:49 +00:00
|
|
|
|
|
|
|
|
|
|
|
/***************************************************************************
|
|
|
|
Special elements:
|
|
|
|
***************************************************************************/
|
|
|
|
|
2005-03-17 10:30:53 +00:00
|
|
|
tt, code
|
2003-12-02 15:36:49 +00:00
|
|
|
{
|
|
|
|
color: #400000;
|
|
|
|
}
|
|
|
|
|
|
|
|
.term
|
|
|
|
{
|
|
|
|
font-weight: bold;
|
|
|
|
|
|
|
|
}
|
|
|
|
|
2006-10-04 17:07:52 +00:00
|
|
|
div.variablelist dd p, div.glosslist dd p
|
2006-09-29 14:16:41 +00:00
|
|
|
{
|
|
|
|
margin-top: 0em;
|
|
|
|
}
|
|
|
|
|
2006-10-04 17:07:52 +00:00
|
|
|
div.variablelist dd, div.glosslist dd
|
2003-12-02 15:36:49 +00:00
|
|
|
{
|
2006-09-29 14:16:41 +00:00
|
|
|
margin-left: 1.5em;
|
2003-12-02 15:36:49 +00:00
|
|
|
}
|
|
|
|
|
2006-10-04 17:07:52 +00:00
|
|
|
div.glosslist dt
|
|
|
|
{
|
|
|
|
font-style: italic;
|
|
|
|
}
|
|
|
|
|
2003-12-02 15:36:49 +00:00
|
|
|
.varname
|
|
|
|
{
|
|
|
|
color: #400000;
|
|
|
|
}
|
|
|
|
|
2012-05-11 20:21:21 +00:00
|
|
|
span.command strong
|
2004-04-08 15:51:26 +00:00
|
|
|
{
|
2012-05-11 20:21:21 +00:00
|
|
|
font-weight: normal;
|
|
|
|
color: #400000;
|
2005-03-16 16:45:29 +00:00
|
|
|
}
|
2006-09-29 14:16:41 +00:00
|
|
|
|
2012-05-11 20:21:21 +00:00
|
|
|
div.calloutlist table
|
2006-09-29 14:16:41 +00:00
|
|
|
{
|
2006-10-02 11:50:55 +00:00
|
|
|
}
|
|
|
|
|
2012-05-11 20:21:21 +00:00
|
|
|
table
|
2006-10-02 11:50:55 +00:00
|
|
|
{
|
2012-05-11 20:21:21 +00:00
|
|
|
border-collapse: collapse;
|
2006-10-02 11:50:55 +00:00
|
|
|
}
|
2012-05-11 21:39:06 +00:00
|
|
|
|
|
|
|
div.affiliation
|
|
|
|
{
|
|
|
|
font-style: italic;
|
2018-02-19 19:38:06 +00:00
|
|
|
}
|