197 lines
2.9 KiB
XML
197 lines
2.9 KiB
XML
|
<?xml version="1.0"?>
|
||
|
<style>
|
||
|
|
||
|
/********************************/
|
||
|
/* start of styles in block.xsl */
|
||
|
|
||
|
p {
|
||
|
text-align: justify;
|
||
|
}
|
||
|
|
||
|
.formalpara-title {
|
||
|
font-weight: bold;
|
||
|
}
|
||
|
|
||
|
div.blockquote-title {
|
||
|
font-weight: bold;
|
||
|
margin-top: 1em;
|
||
|
margin-bottom: 1em;
|
||
|
}
|
||
|
|
||
|
span.msgmain-title {
|
||
|
font-weight: bold;
|
||
|
}
|
||
|
|
||
|
span.msgsub-title {
|
||
|
font-weight: bold;
|
||
|
}
|
||
|
|
||
|
span.msgrel-title {
|
||
|
font-weight: bold;
|
||
|
}
|
||
|
|
||
|
div.msglevel, div.msgorig, div.msgaud {
|
||
|
margin-top: 1em;
|
||
|
margin-bottom: 1em;
|
||
|
}
|
||
|
|
||
|
span.msglevel-title, span.msgorig-title, span.msgaud-title {
|
||
|
font-weight: bold;
|
||
|
}
|
||
|
|
||
|
div.msgexplan {
|
||
|
margin-top: 1em;
|
||
|
margin-bottom: 1em;
|
||
|
}
|
||
|
|
||
|
span.msgexplan-title {
|
||
|
font-weight: bold;
|
||
|
}
|
||
|
|
||
|
div.sidebar {
|
||
|
border: 0.5pt solid black;
|
||
|
margin-top: 1em;
|
||
|
margin-bottom: 1em;
|
||
|
padding: 8px;
|
||
|
}
|
||
|
|
||
|
/* end of styles in block.xsl */
|
||
|
/********************************/
|
||
|
|
||
|
/********************************/
|
||
|
/* start of styles in autotoc.xsl */
|
||
|
|
||
|
/* top level entries */
|
||
|
nav>ol>li>a {
|
||
|
margin-top: 1em;
|
||
|
margin-bottom: 1em;
|
||
|
}
|
||
|
|
||
|
|
||
|
/* end of styles in autotoc.xsl */
|
||
|
/********************************/
|
||
|
|
||
|
/********************************/
|
||
|
/* start of styles in formal.xsl */
|
||
|
|
||
|
div.figure-title {
|
||
|
font-weight: bold;
|
||
|
}
|
||
|
|
||
|
div.example-title {
|
||
|
font-weight: bold;
|
||
|
}
|
||
|
|
||
|
div.equation-title {
|
||
|
font-weight: bold;
|
||
|
}
|
||
|
|
||
|
div.table-title {
|
||
|
font-weight: bold;
|
||
|
}
|
||
|
|
||
|
div.sidebar-title {
|
||
|
font-weight: bold;
|
||
|
}
|
||
|
|
||
|
|
||
|
/* end of styles in formal.xsl */
|
||
|
/********************************/
|
||
|
|
||
|
/********************************/
|
||
|
/* start of styles in verbatim.xsl */
|
||
|
|
||
|
.programlisting {
|
||
|
white-space: pre-wrap;
|
||
|
font-family: monospace;
|
||
|
background-color: #d5d2d2;
|
||
|
font-size: 85%;
|
||
|
}
|
||
|
|
||
|
.screen {
|
||
|
white-space: pre-wrap;
|
||
|
font-family: monospace;
|
||
|
background-color: #d5d2d2;
|
||
|
font-size: 85%;
|
||
|
}
|
||
|
|
||
|
.synopsis {
|
||
|
white-space: pre-wrap;
|
||
|
font-family: monospace;
|
||
|
background-color: #d5d2d2;
|
||
|
}
|
||
|
|
||
|
/* end of styles in verbatim.xsl */
|
||
|
/********************************/
|
||
|
|
||
|
/********************************/
|
||
|
/* NAVIGATION */
|
||
|
|
||
|
nav ol {
|
||
|
list-style-type: none;
|
||
|
margin: 0 0 0 2em;
|
||
|
padding: 0 0 0 0;
|
||
|
}
|
||
|
|
||
|
nav ol li {
|
||
|
margin: 0 0 0 0;
|
||
|
padding: 0 0 0 0;
|
||
|
}
|
||
|
|
||
|
nav ol li a {
|
||
|
text-decoration: none;
|
||
|
color: black;
|
||
|
font-family: sans-serif;
|
||
|
}
|
||
|
|
||
|
#guide {
|
||
|
display: none;
|
||
|
}
|
||
|
|
||
|
div.table {
|
||
|
page-break-inside: avoid;
|
||
|
}
|
||
|
|
||
|
.table-contents {
|
||
|
margin: 0px;
|
||
|
padding: 0px;
|
||
|
}
|
||
|
|
||
|
.table-contents table {
|
||
|
margin: 0px;
|
||
|
padding: 0px;
|
||
|
box-shadow: 10px 10px 5px #888888;
|
||
|
}
|
||
|
|
||
|
.table-contents thead tr td {
|
||
|
background-color: #cccccc;
|
||
|
border: 1px solid #000000;
|
||
|
border-width: 1px 0px 1px 0px;
|
||
|
text-align: center;
|
||
|
font-size: 90%;
|
||
|
font-family: Arial;
|
||
|
font-weight: bold;
|
||
|
color: #000000;
|
||
|
}
|
||
|
|
||
|
.table-contents table td {
|
||
|
vertical-align: middle;
|
||
|
border: 1px solid #000000;
|
||
|
border-width: 0px 0px 1px 0px;
|
||
|
text-align: left;
|
||
|
padding: 7px;
|
||
|
font-size: 80%;
|
||
|
font-family: Arial;
|
||
|
font-weight: normal;
|
||
|
color: #000000;
|
||
|
}
|
||
|
|
||
|
.table-contents table tr.odd {
|
||
|
background-color:#e5e5e5;
|
||
|
}
|
||
|
|
||
|
.table-contents table tr.even {
|
||
|
background-color:#ffffff;
|
||
|
}
|
||
|
</style>
|