wroclaw-git-backups/nix
1
0
Fork 0
mirror of https://github.com/NixOS/nix synced 2025-07-13 17:10:47 +02:00
Code Activity

* Manual updates, some style improvements.

Browse source
This commit is contained in:
Eelco Dolstra 2006-09-29 10:31:56 +00:00
parent e2eed05224
commit 30c7db85d8
6 changed files with 74 additions and 52 deletions
Download patch file Download diff file Expand all files Collapse all files

45
doc/manual/style.css
View file

@ -10,7 +10,6 @@ body
{
font-family: sans-serif;
background: white;
margin: 2em 1em 2em 1em;
}
@ -34,7 +33,6 @@ h2 /* chapters, appendices, subtitle */
div.chapter > div.titlepage h2, div.appendix > div.titlepage h2
{
margin-top: 1.5em;
/* border-top: solid #005aa0; */
}
div.sect1 h2 /* sections */
@ -42,6 +40,12 @@ div.sect1 h2 /* sections */
font-size: 150%;
}
/* Extra space between sections. */
div.section > div.titlepage h2
{
margin-top: 1.2em;
}
div.refnamediv h2, div.refsynopsisdiv h2, div.refsection h2 /* refentry parts */
{
font-size: 125%;
@ -67,8 +71,8 @@ div.example
{
border: 1px solid #6185a0;
padding: 6px 6px;
margin-left: 3em;
margin-right: 3em;
margin-left: 0em;
margin-right: 0em;
background: #eeeeee;
}
@ -86,9 +90,9 @@ pre.programlisting
pre.screen
{
border: 1px solid #6185a0;
padding: 6px 6px;
margin-left: 3em;
margin-right: 3em;
padding: 3px 3px;
margin-left: 1.5em;
margin-right: 1.5em;
color: #600000;
background: #eeeeee;
font-family: monospace;
@ -100,24 +104,39 @@ pre.screen
Notes, warnings etc:
***************************************************************************/
.note,.warning
.note, .warning
{
margin-top: 1em;
margin-bottom: 1em;
border: 1px solid #6185a0;
padding: 0px 1em;
padding: 3px 3px;
margin-left: 1.5em;
margin-right: 1.5em;
margin-bottom: 1em;
padding: 0.3em 0.3em 0.3em 0.3em;
background: #fffff5;
}
div.note,div.warning
div.note, div.warning
{
font-style: italic;
}
div.warning h3
div.note h3, div.warning h3
{
color: red;
font-size: 100%;
// margin: 0 0 0 0;
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