314 lines
		
	
	
	
		
			5.7 KiB
		
	
	
	
		
			CSS
		
	
	
	
	
	
		
		
			
		
	
	
			314 lines
		
	
	
	
		
			5.7 KiB
		
	
	
	
		
			CSS
		
	
	
	
	
	
| 
								 | 
							
								/*
							 | 
						||
| 
								 | 
							
								  CSS stylesheet for XHTML produced by DocBook XSL stylesheets.
							 | 
						||
| 
								 | 
							
								  Tested with XSL stylesheets 1.61.2, 1.67.2
							 | 
						||
| 
								 | 
							
								*/
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								span.strong {
							 | 
						||
| 
								 | 
							
								  font-weight: bold;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								body blockquote {
							 | 
						||
| 
								 | 
							
								  margin-top: .75em;
							 | 
						||
| 
								 | 
							
								  line-height: 1.5;
							 | 
						||
| 
								 | 
							
								  margin-bottom: .75em;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								html body {
							 | 
						||
| 
								 | 
							
								  margin: 1em 5% 1em 5%;
							 | 
						||
| 
								 | 
							
								  line-height: 1.2;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								body div {
							 | 
						||
| 
								 | 
							
								  margin: 0;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								h1, h2, h3, h4, h5, h6
							 | 
						||
| 
								 | 
							
								{
							 | 
						||
| 
								 | 
							
								  color: #527bbd;
							 | 
						||
| 
								 | 
							
								  font-family: tahoma, verdana, sans-serif;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								div.toc p:first-child,
							 | 
						||
| 
								 | 
							
								div.list-of-figures p:first-child,
							 | 
						||
| 
								 | 
							
								div.list-of-tables p:first-child,
							 | 
						||
| 
								 | 
							
								div.list-of-examples p:first-child,
							 | 
						||
| 
								 | 
							
								div.example p.title,
							 | 
						||
| 
								 | 
							
								div.sidebar p.title
							 | 
						||
| 
								 | 
							
								{
							 | 
						||
| 
								 | 
							
								  font-weight: bold;
							 | 
						||
| 
								 | 
							
								  color: #527bbd;
							 | 
						||
| 
								 | 
							
								  font-family: tahoma, verdana, sans-serif;
							 | 
						||
| 
								 | 
							
								  margin-bottom: 0.2em;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								body h1 {
							 | 
						||
| 
								 | 
							
								  margin: .0em 0 0 -4%;
							 | 
						||
| 
								 | 
							
								  line-height: 1.3;
							 | 
						||
| 
								 | 
							
								  border-bottom: 2px solid silver;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								body h2 {
							 | 
						||
| 
								 | 
							
								  margin: 0.5em 0 0 -4%;
							 | 
						||
| 
								 | 
							
								  line-height: 1.3;
							 | 
						||
| 
								 | 
							
								  border-bottom: 2px solid silver;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								body h3 {
							 | 
						||
| 
								 | 
							
								  margin: .8em 0 0 -3%;
							 | 
						||
| 
								 | 
							
								  line-height: 1.3;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								body h4 {
							 | 
						||
| 
								 | 
							
								  margin: .8em 0 0 -3%;
							 | 
						||
| 
								 | 
							
								  line-height: 1.3;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								body h5 {
							 | 
						||
| 
								 | 
							
								  margin: .8em 0 0 -2%;
							 | 
						||
| 
								 | 
							
								  line-height: 1.3;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								body h6 {
							 | 
						||
| 
								 | 
							
								  margin: .8em 0 0 -1%;
							 | 
						||
| 
								 | 
							
								  line-height: 1.3;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								body hr {
							 | 
						||
| 
								 | 
							
								  border: none; /* Broken on IE6 */
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								div.footnotes hr {
							 | 
						||
| 
								 | 
							
								  border: 1px solid silver;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								div.navheader th, div.navheader td, div.navfooter td {
							 | 
						||
| 
								 | 
							
								  font-family: sans-serif;
							 | 
						||
| 
								 | 
							
								  font-size: 0.9em;
							 | 
						||
| 
								 | 
							
								  font-weight: bold;
							 | 
						||
| 
								 | 
							
								  color: #527bbd;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								div.navheader img, div.navfooter img {
							 | 
						||
| 
								 | 
							
								  border-style: none;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								div.navheader a, div.navfooter a {
							 | 
						||
| 
								 | 
							
								  font-weight: normal;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								div.navfooter hr {
							 | 
						||
| 
								 | 
							
								  border: 1px solid silver;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								body td {
							 | 
						||
| 
								 | 
							
								  line-height: 1.2
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								body th {
							 | 
						||
| 
								 | 
							
								  line-height: 1.2;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								ol {
							 | 
						||
| 
								 | 
							
								  line-height: 1.2;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								ul, body dir, body menu {
							 | 
						||
| 
								 | 
							
								  line-height: 1.2;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								html {
							 | 
						||
| 
								 | 
							
								  margin: 0; 
							 | 
						||
| 
								 | 
							
								  padding: 0;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								body h1, body h2, body h3, body h4, body h5, body h6 {
							 | 
						||
| 
								 | 
							
								  margin-left: 0
							 | 
						||
| 
								 | 
							
								} 
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								body pre {
							 | 
						||
| 
								 | 
							
								  margin: 0.5em 10% 0.5em 1em;
							 | 
						||
| 
								 | 
							
								  line-height: 1.0;
							 | 
						||
| 
								 | 
							
								  color: navy;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								tt.literal, code.literal {
							 | 
						||
| 
								 | 
							
								  color: navy;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								.programlisting, .screen {
							 | 
						||
| 
								 | 
							
								  border: 1px solid silver;
							 | 
						||
| 
								 | 
							
								  background: #f4f4f4;
							 | 
						||
| 
								 | 
							
								  margin: 0.5em 10% 0.5em 0;
							 | 
						||
| 
								 | 
							
								  padding: 0.5em 1em;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								div.sidebar {
							 | 
						||
| 
								 | 
							
								  background: #ffffee;
							 | 
						||
| 
								 | 
							
								  margin: 1.0em 10% 0.5em 0;
							 | 
						||
| 
								 | 
							
								  padding: 0.5em 1em;
							 | 
						||
| 
								 | 
							
								  border: 1px solid silver;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								div.sidebar * { padding: 0; }
							 | 
						||
| 
								 | 
							
								div.sidebar div { margin: 0; }
							 | 
						||
| 
								 | 
							
								div.sidebar p.title {
							 | 
						||
| 
								 | 
							
								  margin-top: 0.5em;
							 | 
						||
| 
								 | 
							
								  margin-bottom: 0.2em;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								div.bibliomixed {
							 | 
						||
| 
								 | 
							
								  margin: 0.5em 5% 0.5em 1em;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								div.glossary dt {
							 | 
						||
| 
								 | 
							
								  font-weight: bold;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								div.glossary dd p {
							 | 
						||
| 
								 | 
							
								  margin-top: 0.2em;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								dl {
							 | 
						||
| 
								 | 
							
								  margin: .8em 0;
							 | 
						||
| 
								 | 
							
								  line-height: 1.2;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								dt {
							 | 
						||
| 
								 | 
							
								  margin-top: 0.5em;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								dt span.term {
							 | 
						||
| 
								 | 
							
								  font-style: normal;
							 | 
						||
| 
								 | 
							
								  color: navy;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								div.variablelist dd p {
							 | 
						||
| 
								 | 
							
								  margin-top: 0;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								div.itemizedlist li, div.orderedlist li {
							 | 
						||
| 
								 | 
							
								  margin-left: -0.8em;
							 | 
						||
| 
								 | 
							
								  margin-top: 0.5em;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								ul, ol {
							 | 
						||
| 
								 | 
							
								    list-style-position: outside;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								div.sidebar ul, div.sidebar ol {
							 | 
						||
| 
								 | 
							
								    margin-left: 2.8em;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								div.itemizedlist p.title,
							 | 
						||
| 
								 | 
							
								div.orderedlist p.title,
							 | 
						||
| 
								 | 
							
								div.variablelist p.title
							 | 
						||
| 
								 | 
							
								{
							 | 
						||
| 
								 | 
							
								  margin-bottom: -0.8em;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								div.revhistory table {
							 | 
						||
| 
								 | 
							
								  border-collapse: collapse;
							 | 
						||
| 
								 | 
							
								  border: none;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								div.revhistory th {
							 | 
						||
| 
								 | 
							
								  border: none;
							 | 
						||
| 
								 | 
							
								  color: #527bbd;
							 | 
						||
| 
								 | 
							
								  font-family: tahoma, verdana, sans-serif;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								div.revhistory td {
							 | 
						||
| 
								 | 
							
								  border: 1px solid silver;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								/* Keep TOC and index lines close together. */
							 | 
						||
| 
								 | 
							
								div.toc dl, div.toc dt,
							 | 
						||
| 
								 | 
							
								div.list-of-figures dl, div.list-of-figures dt,
							 | 
						||
| 
								 | 
							
								div.list-of-tables dl, div.list-of-tables dt,
							 | 
						||
| 
								 | 
							
								div.indexdiv dl, div.indexdiv dt
							 | 
						||
| 
								 | 
							
								{
							 | 
						||
| 
								 | 
							
								  line-height: normal;
							 | 
						||
| 
								 | 
							
								  margin-top: 0;
							 | 
						||
| 
								 | 
							
								  margin-bottom: 0;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								/*
							 | 
						||
| 
								 | 
							
								  Table styling does not work because of overriding attributes in
							 | 
						||
| 
								 | 
							
								  generated HTML.
							 | 
						||
| 
								 | 
							
								*/
							 | 
						||
| 
								 | 
							
								div.table table,
							 | 
						||
| 
								 | 
							
								div.informaltable table
							 | 
						||
| 
								 | 
							
								{
							 | 
						||
| 
								 | 
							
								    margin-left: 0;
							 | 
						||
| 
								 | 
							
								    margin-right: 5%;
							 | 
						||
| 
								 | 
							
								    margin-bottom: 0.8em;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								div.informaltable table
							 | 
						||
| 
								 | 
							
								{
							 | 
						||
| 
								 | 
							
								    margin-top: 0.4em
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								div.table thead,
							 | 
						||
| 
								 | 
							
								div.table tfoot,
							 | 
						||
| 
								 | 
							
								div.table tbody,
							 | 
						||
| 
								 | 
							
								div.informaltable thead,
							 | 
						||
| 
								 | 
							
								div.informaltable tfoot,
							 | 
						||
| 
								 | 
							
								div.informaltable tbody
							 | 
						||
| 
								 | 
							
								{
							 | 
						||
| 
								 | 
							
								    /* No effect in IE6. */
							 | 
						||
| 
								 | 
							
								    border-top: 3px solid #527bbd;
							 | 
						||
| 
								 | 
							
								    border-bottom: 3px solid #527bbd;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								div.table thead, div.table tfoot,
							 | 
						||
| 
								 | 
							
								div.informaltable thead, div.informaltable tfoot
							 | 
						||
| 
								 | 
							
								{
							 | 
						||
| 
								 | 
							
								    font-weight: bold;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								div.mediaobject img {
							 | 
						||
| 
								 | 
							
								    margin-bottom: 0.8em;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								div.figure p.title,
							 | 
						||
| 
								 | 
							
								div.table p.title
							 | 
						||
| 
								 | 
							
								{
							 | 
						||
| 
								 | 
							
								  margin-top: 1em;
							 | 
						||
| 
								 | 
							
								  margin-bottom: 0.4em;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								div.calloutlist p
							 | 
						||
| 
								 | 
							
								{
							 | 
						||
| 
								 | 
							
								  margin-top: 0em;
							 | 
						||
| 
								 | 
							
								  margin-bottom: 0.4em;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								@media print {
							 | 
						||
| 
								 | 
							
								  div.navheader, div.navfooter { display: none; }
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								span.aqua { color: aqua; }
							 | 
						||
| 
								 | 
							
								span.black { color: black; }
							 | 
						||
| 
								 | 
							
								span.blue { color: blue; }
							 | 
						||
| 
								 | 
							
								span.fuchsia { color: fuchsia; }
							 | 
						||
| 
								 | 
							
								span.gray { color: gray; }
							 | 
						||
| 
								 | 
							
								span.green { color: green; }
							 | 
						||
| 
								 | 
							
								span.lime { color: lime; }
							 | 
						||
| 
								 | 
							
								span.maroon { color: maroon; }
							 | 
						||
| 
								 | 
							
								span.navy { color: navy; }
							 | 
						||
| 
								 | 
							
								span.olive { color: olive; }
							 | 
						||
| 
								 | 
							
								span.purple { color: purple; }
							 | 
						||
| 
								 | 
							
								span.red { color: red; }
							 | 
						||
| 
								 | 
							
								span.silver { color: silver; }
							 | 
						||
| 
								 | 
							
								span.teal { color: teal; }
							 | 
						||
| 
								 | 
							
								span.white { color: white; }
							 | 
						||
| 
								 | 
							
								span.yellow { color: yellow; }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								span.aqua-background { background: aqua; }
							 | 
						||
| 
								 | 
							
								span.black-background { background: black; }
							 | 
						||
| 
								 | 
							
								span.blue-background { background: blue; }
							 | 
						||
| 
								 | 
							
								span.fuchsia-background { background: fuchsia; }
							 | 
						||
| 
								 | 
							
								span.gray-background { background: gray; }
							 | 
						||
| 
								 | 
							
								span.green-background { background: green; }
							 | 
						||
| 
								 | 
							
								span.lime-background { background: lime; }
							 | 
						||
| 
								 | 
							
								span.maroon-background { background: maroon; }
							 | 
						||
| 
								 | 
							
								span.navy-background { background: navy; }
							 | 
						||
| 
								 | 
							
								span.olive-background { background: olive; }
							 | 
						||
| 
								 | 
							
								span.purple-background { background: purple; }
							 | 
						||
| 
								 | 
							
								span.red-background { background: red; }
							 | 
						||
| 
								 | 
							
								span.silver-background { background: silver; }
							 | 
						||
| 
								 | 
							
								span.teal-background { background: teal; }
							 | 
						||
| 
								 | 
							
								span.white-background { background: white; }
							 | 
						||
| 
								 | 
							
								span.yellow-background { background: yellow; }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								span.big { font-size: 2em; }
							 | 
						||
| 
								 | 
							
								span.small { font-size: 0.6em; }
							 |