tvl-depot/doc/manual/style.css

271 lines
4.5 KiB
CSS
Raw Normal View History

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