mirror of
https://github.com/brl/mutter.git
synced 2024-12-11 14:00:18 +00:00
5e1ccaeb60
• Make the manual a DevHelp book • Make the generation of PDFs of the cookbook and the manual optional • Consequently, make the hard dependency on jw optional • Clean up the checks and build for the additional documentation
98 lines
991 B
CSS
98 lines
991 B
CSS
body address
|
|
{
|
|
line-height: 1.3;
|
|
margin: .6em 0;
|
|
}
|
|
|
|
body blockquote
|
|
{
|
|
margin-top: .75em;
|
|
line-height: 1.5;
|
|
margin-bottom: .75em;
|
|
}
|
|
|
|
html body
|
|
{
|
|
margin: 1em 2% 1em 2%;
|
|
line-height: 1.2;
|
|
background-color: #ffffff;
|
|
}
|
|
|
|
body pre
|
|
{
|
|
margin: .75em 0;
|
|
line-height: 1.3;
|
|
color: #4f3f3f;
|
|
font-weight: bold;
|
|
}
|
|
|
|
body div
|
|
{
|
|
margin: 0;
|
|
}
|
|
|
|
dl
|
|
{
|
|
margin: .4em 0;
|
|
line-height: 1.2;
|
|
}
|
|
|
|
.legalnotice
|
|
{
|
|
font-size: small;
|
|
}
|
|
|
|
h1,h2,h3,h4,h5,h6,
|
|
div.example p b,
|
|
.question,
|
|
div.table p b,
|
|
div.procedure p b
|
|
{
|
|
color: #990000;
|
|
}
|
|
|
|
.option
|
|
{
|
|
color: #0000ca;
|
|
font-weight: bold;
|
|
}
|
|
|
|
.parameter
|
|
{
|
|
color: #007a00;
|
|
font-weight: bold;
|
|
}
|
|
|
|
a
|
|
{
|
|
color: #000000;
|
|
}
|
|
|
|
a:hover
|
|
{
|
|
color: #3c3c3c;
|
|
border-bottom: 1px solid #dc0000;
|
|
}
|
|
|
|
hr
|
|
{
|
|
background-color: #9c9c9c;
|
|
border-style: none;
|
|
height: 1px;
|
|
}
|
|
|
|
li
|
|
{
|
|
list-style-type: square;
|
|
}
|
|
|
|
.programlisting, .screen
|
|
{
|
|
background-color: #F8F9FD;
|
|
border-color: #907777;
|
|
border-width: 1px;
|
|
border-style: solid;
|
|
padding: 0.5em;
|
|
}
|
|
|