/* TODO: this file is a total debacle. Find out exactly which version it was
 * based on and extract the Vimperator required modifications to a separate
 * file. It's not called "Cascading" for nothing! --djk */

/* keep the mozdev header */
/* @import url(http://www.mozdev.org/skin/color/mozdev2k.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;
}

a {
	color: #4A708B;
	text-decoration: none;
}

body blockquote {
  margin-top: .75em;
  line-height: 1.5;
  margin-bottom: .75em;
}

html body {
  /*margin: 1em 5% 1em 5%;*/
  margin: auto;
  padding-left: 25px;
  padding-right: 25px;
  line-height: 1.2;
  font-family: -moz-fixed;
  max-width: 800px;
}

body div {
  margin: 0;
}

h1, h2, h3, h4, h5, h6,
div.toc p b,
div.list-of-figures p b,
div.list-of-tables p b,
div.abstract p.title
{
  color: #527bbd;
}

div.toc p:first-child,
div.list-of-figures p:first-child,
div.list-of-tables p:first-child,
div.example p.title
{
  margin-bottom: 0.1em;
}

body h1 {
  margin: .0em 0 0 -4%;
  line-height: 1.3;
  border-bottom: 1px solid silver;
}

body h2 {
  /* necessary, because we put h2 into tables */
  margin-top: 20px !important;
  margin-bottom: 0px !important;
  line-height: 1.3;
  /*border-bottom: 1px 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-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.2;
  color: navy;
}

tt.literal, code.literal {
  color: navy;
}


.programlisting, .screen, .listingblock {
  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;
}

#footer {
	margin: 15px;
	text-align: center;
	color: gray;
}

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: italic;
}

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;
}
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: 2px solid #527bbd;
    border-bottom: 2px solid #527bbd;
}
div.table thead, div.table tfoot,
div.informaltable thead, div.informaltable tfoot
{
    font-weight: bold;
}

div.mediaobject img {
    border: 1px solid silver;
    margin-bottom: 0.8em;
}
div.figure p.title,
div.table p.title
{
  margin-top: 1em;
  margin-bottom: 0.4em;
}

@media print {
  div.navheader, div.navfooter { display: none; }
}

/* my additions */
span.tag, span.hiddentag {
    font-weight: bold;
    color: rgb(255, 0, 255); /* magenta */
    padding-left: 15px;
    float: right;
}
/* inside a table cell means this tag is part of a section */
td span.tag {
	padding-top: 25px !important;
}

span.key {
    color: rgb(255, 0, 255); /* magenta */
    min-width: 120px; /* with 20px padding actually 140px */
	/*padding-bottom: 5px;*/
	padding-right: 20px;
    float: left;
}
span.warning {
  font-weight: bold;
  color: red;
}
span.info {
  font-weight: bold;
  color: blue;
}
fieldset.paypal {
    border: none;
}

.argument {
    color: #6A97D4;
}
.command {
    font-weight: bold;
    color: #632610;
    white-space: nowrap;
}
.mapping {
    font-weight: bold;
    color: #102663;
}
.option {
    font-weight: bold;
    color: #106326;
}

.option, .mapping, .command {
    text-decoration: none;
}
.option:hover, .mapping:hover, .command:hover {
    text-decoration: underline;
}

.quoteblock {
	margin-left: 140px;
	padding-bottom: 10px;
}

/* FIXME: hack to match old table formatting with new table syntax - a possibly vain attempt to stop dpb's whinging. --djk */
p.table {
	margin-top: 0;
	margin-bottom: 0;
}
/* vim: set fdm=marker sw=4 ts=4 et: */