/* basic styles for fun */

body {
        font-family: Arial, Verdana, FreeSans, Helvetica, sans-serif;
        font-weight: normal;
        background: #ffffff;
        color: #000000;
	padding: 0px 0px 1em 0px;
	margin: 0px;
}
a {
        text-decoration: none;
        color: #4444aa;
}
a:hover {
        color: #4444cc;
}
a:visited {
	color: #cc44cc;
}
img {
        border: none;
}

pre {
  font-family: monospace;
  background: #efefef;
  padding-left: 1em;
  padding-right: 1em;
  padding-bottom: 0.5em;
  margin-top: 1.5em;
  margin-bottom: 1.5em;
  margin-left: 3em;
  margin-right: 3em;

  border-top: 1px solid #444444;
  border-left: 1px solid #444444;
  border-bottom: 1px solid #aaaaaa;
  border-right: 1px solid #aaaaaa;

  /* round borders */
  border-top-left-radius: 0.4em;
  border-top-right-radius: 0.4em;
  border-bottom-left-radius: 0.4em;
  border-bottom-right-radius: 0.4em;
  -webkit-border-top-left-radius: 0.4em;
  -webkit-border-top-right-radius: 0.4em;
  -webkit-border-bottom-left-radius: 0.4em;
  -webkit-border-bottom-right-radius: 0.4em;
  -moz-border-radius-topleft: 0.4em;
  -moz-border-radius-topright: 0.4em;
  -moz-border-radius-bottomleft: 0.4em;
  -moz-border-radius-bottomright: 0.4em;
}

.changetable {
  background: #efefef;
  padding-left: 1em;
  padding-right: 1em;
  padding-top: 0.5em;
  padding-bottom: 0.5em;
  margin-top: 0;
  margin-bottom: 1.5em;
  margin-left: 3em;
  margin-right: 3em;

  border-top: 1px solid #444444;
  border-left: 1px solid #444444;
  border-bottom: 1px solid #aaaaaa;
  border-right: 1px solid #aaaaaa;

  /* round borders */
  border-top-left-radius: 0.4em;
  border-top-right-radius: 0.4em;
  border-bottom-left-radius: 0.4em;
  border-bottom-right-radius: 0.4em;
  -webkit-border-top-left-radius: 0.4em;
  -webkit-border-top-right-radius: 0.4em;
  -webkit-border-bottom-left-radius: 0.4em;
  -webkit-border-bottom-right-radius: 0.4em;
  -moz-border-radius-topleft: 0.4em;
  -moz-border-radius-topright: 0.4em;
  -moz-border-radius-bottomleft: 0.4em;
  -moz-border-radius-bottomright: 0.4em;
}

hr {
  visibility: hidden;
}

pre hr, .dashline {
  border-top: 1px dashed #000000;
  border-bottom: 0px;
  border-left: 0px;
  border-right: 0px;
  height: 2px;
  visibility: visible;
  margin-bottom: 0px;
}

.changetable th, .changetable td {
  padding-left: 0.5em;
  padding-right: 0.5em;
}