/* $Revision$ */

html body {
  color: black;
  margin: 1em 10% 1em 10%;
  padding: 0;
}

body, dd, div, li, p, th, td {
  font: 1em "Segoe UI", "Bitstream Vera Sans", "DejaVu Sans", "Trebuchet MS", Verdana, sans-serif;
  text-align: justify;
}

h1 {
  background: #dddddd;
  border-bottom: 1px solid #102133;
  color: #102133;
  display: inline;
}

h2, h3, h4, h5, h6 {
  color:  #315273;
  margin: 1em 0 0 0;
}

h2 {
  border-bottom: 1px solid #bababa;
}

h3 {
  border-bottom: 1px solid #dcdcdc;
}

img {
  border: 0px
}

a:link {
  color: #227daa;
}

a:visited {
  color: #102133;
}

ol.normalnumbering {
  list-style: decimal;
}

li.square {
  list-style-type: square;
}

p.code {
  background: #e0f0ff;
  border: 1px solid #000000;
  font-size: medium;
  margin: 1em 5% 1em 5%;
  padding: 0.5em 0.5em 0.5em 0.5em;
  text-align: left;
}

.boxed {
  background: #fff0e0;
  border: 1px solid #000000;
  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;
}

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

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

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

td.field {
  font-weight: bold;
}

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