/* $Id: style.css 48 2007-04-22 14:03:05Z asmodai $ */

html body {
  color: black;
  font-family: sans-serif;
  font-size: 1em;
  margin: 1em 5% 1em 5%;
  padding: 0;
}

body, dd, div, li, p, th, td {
  text-align: justify;
}

h1, h2, h3, h4, h5, h6 {
  color:    #23819c;
  margin:   0px 1px 0px 1px;
  padding:  0px 2px 0px 2px;
}

img {
  border: 0px
}

a:link {
  color: #4bc5e9;
}

a:visited {
  color: #0a4050;
}

ol.normalnumbering {
  list-style: decimal;
}

p.admonition-title {
  background:     #0a4050;
  color:          white;
  display:        inline;
  padding:        0.25em 0.25em 0.25em 0.25em;
  text-transform: uppercase;
}

p.code {
  background:   #e0f7ff;
  border:       1px solid black;
  color:        black;
  font-family:  monospace;
  font-size:    medium;
  margin:       1em 5% 1em 5%;
  padding:      0.5em 0.5em 0.5em 0.5em;
  text-align:   left;
}

pre.doctest-block {
  background:   #fff0e0;
  border:       1px solid black;
  color:        black;
  font-family:  monospace;
  font-size:    medium;
  margin:       1em 5% 1em 5%;
  padding:      0.5em 0.5em 0.5em 0.5em;
  text-align:   left;
}

pre.literal-block {
  background:   #e0f7ff;
  border:       1px solid black;
  color:        black;
  font-family:  monospace;
  font-size:    medium;
  margin:       1em 5% 1em 5%;
  padding:      0.5em 0.5em 0.5em 0.5em;
  text-align:   left;
}

.acronym {
  font-variant: small-caps;
}

.boxed {
  background: #fff0e0;
  border: 1px solid black;
  color: black;
  font-size: medium;
  margin: 1em 1em 1em 2em;
  padding: 0 0 1em 0;
  max-width: 90%;
}

.boxed div {
  margin: 1em 0 -0.5em 0;
}

.error {
  background:   #ffffcc;
  border:       1px solid black;
  color:        black;
  font-family:  monospace;
  font-size:    medium;
  margin:       1em 5% 1em 5%;
  padding:      0.5em 0.5em 0.5em 0.5em;
  text-align:   left;
}

.ERROR {
  background: #ffffcc;
  border:     1px solid black;
  color:      black;
  margin:     0px 1px 0px 1px;
  padding:    0px 2px 0px 2px;
}

.formula {
  background: #315273;
  border: 1px solid black;
  color: white;
  font-family: sans-serif;
  font-size: medium;
  font-style: italic;
  font-weight: bold;
  margin: 1.5em 0.5em 1em 1em;
}

.legalnotice {
  font-size: 0.8em;
  font-variant: small-caps;
}

.math {
  font-size: large;
  margin: 1.5em 0.5em 1em 1em;
}

.note {
  background: #dddddd;
  border:     1px solid black;
  color:      black;
  margin:     1em 5% 1em 5%;
  padding:    2px 2px 2px 2px;
}

.programlisting {
  background:   #e0f7ff;
  border:       1px solid black;
  color:        black;
  font-family:  monospace;
  font-size:    medium;
  margin:       1em 5% 1em 5%;
  padding:      0.5em 0.5em 0.5em 0.5em;
  text-align:   left;
}

.todo {
  background: #ffffaa;
  display: inline;
}

table.entry {
  border: 1px solid black;
  margin: 1em 0 0 0;
}

td {
  margin: 0;
  padding: 2px 2px 2px 2px;
}

td.field {
  font-weight: bold;
  text-align: left;
}

tr.row1 {
  background-color: #97b9e9;
  margin: 0;
  padding: 0;
}

tr.row2 {
  background-color: #b9e9e9;
  margin: 0;
  padding: 0;
}

@media screen {
  .formula {
    padding: 0 0.5em;
    position: relative;
    top: -1.5em;
  }
}