123 lines
2.5 KiB
CSS
123 lines
2.5 KiB
CSS
li { margin-top: 10px; }
|
|
body {
|
|
font-family: sans-serif;
|
|
background: #eeeeee;
|
|
margin: 0; padding: 0;
|
|
}
|
|
/* IE hack, works around no child-selector bug */
|
|
* html body {
|
|
margin: 15px;
|
|
m\argin: 15px;
|
|
}
|
|
body > * { margin: 15px; padding: auto; }
|
|
body > div.navheader { margin: 0; padding: 0;}
|
|
|
|
a { color: #b77f4e; }
|
|
a:visited { color: #a84510; }
|
|
h1, h2, h3 { color: #000000; }
|
|
|
|
h2 a { color: black; }
|
|
h3 a { color: black; }
|
|
dt a { color: black; }
|
|
|
|
dt { font-weight: bold; font-style: italic; margin-top: 7px; }
|
|
dl { margin-left: 40px; }
|
|
|
|
h2 {
|
|
border-top: 2px solid #c1272d;
|
|
border-left: 2px solid #c1272d;
|
|
padding: 3px;
|
|
background: #f4717a
|
|
}
|
|
h3 {
|
|
border-bottom: 2px dotted #a84510;
|
|
margin-bottom: 3px;
|
|
}
|
|
h3+p { margin-top: 4px; }
|
|
|
|
p.toplink { font-size: 0.8em; }
|
|
|
|
hr { display: none; }
|
|
|
|
div.footnote { font-size: 8pt; }
|
|
|
|
div.navheader
|
|
{
|
|
width: 100%;
|
|
background-color: #c1272c;
|
|
color: #fff;
|
|
border-top-style: solid;
|
|
border-top-width: 1px;
|
|
}
|
|
|
|
/* FIXME: make bottom bar prettier */
|
|
div.navfooter
|
|
{
|
|
border-top: 1px solid #c1272c;
|
|
}
|
|
|
|
div.navheader a, div.navheader a:visited {
|
|
color: #fff;
|
|
}
|
|
|
|
.question { font-weight: bold; }
|
|
|
|
.toc dt { font-weight: normal; }
|
|
.toc dt a { font-weight: bold; }
|
|
|
|
.ulink { color: #00f; }
|
|
.ulink img { padding-bottom: 7px; padding-left: 2px; padding-right: 0px; border: 0; }
|
|
|
|
/*
|
|
div.draft-chapter {
|
|
color: blue;
|
|
} */
|
|
|
|
a.linkhere, a.linkhere:visited {
|
|
color: black; text-decoration: none;
|
|
margin-right: 5px;
|
|
}
|
|
|
|
.informaltable table tr td {
|
|
padding-right: 5px;
|
|
}
|
|
|
|
.programlisting {
|
|
background-color: #9cc;
|
|
padding-left: 15px;
|
|
border-left: 2px solid #000;
|
|
}
|
|
|
|
.screen { font-weight: bold; }
|
|
|
|
.example-break { display: none; }
|
|
|
|
|
|
/* guibutton/label styling used by /doc/raw/s2/lj/quickstart.xml */
|
|
|
|
.guibutton {
|
|
background-color: #f4717a;
|
|
color: #000;
|
|
border: 2px solid #f6828b;
|
|
border-bottom: 2px solid #c1272d;
|
|
border-right: 2px solid #c1272d;
|
|
padding-left: 2px;
|
|
padding-right: 2px;
|
|
font-weight: bold;
|
|
font-family: monospace;
|
|
}
|
|
|
|
.guilabel { font-family: monospace; }
|
|
|
|
b.fsfunc { background: #eeeeee; color: #8b008b; font-family: monospace; }
|
|
var.pdparam { background: #eeeeee; color: #0000ff; font-family: monospace; }
|
|
div.funcsynopsis p { background: #eeeeee; color: #007700; font-family: monospace; }
|
|
code.funcdef { background: #eeeeee; color: #3ebcd1; font-family: monospace; }
|
|
div.funcsynopsis code { background: #eeeeee; color: #3ebcd1; font-family: monospace; }
|
|
|
|
div.titlepage div.abstract p.title {
|
|
font-size: 14pt;
|
|
margin-bottom: 2px;
|
|
border-bottom: 2px dotted #a84510;
|
|
}
|
|
|