/* debbugs.css */

html {
  font-size: 100.01%;
  font-family : Verdana,Helvetica,Tahoma,Arial,sans-serif,serif;
  background: rgb(255,255,255);
  }

body {
  color: rgb(0,0,0);
  font-family: Verdana,Helvetica,Tahoma,Arial,sans-serif,serif;
  font-size: 0.85em;
  font-weight: normal;
  margin: 0;
  padding: 0;
  }

a {
  color: rgb(100,100,100);
  }

a:link, a:visited, a:active, a:hover {
  background: transparent;
  }

a:link, a:visited {
  text-decoration: underline;
  }

a:active, a:hover {
  text-decoration: none;
  color: rgb(77,90,175);
  }

h1 {
  text-align: center;
  margin: 1.5em;
  padding: 1em 0 0 0;
  font-size: 1.5em;
  font-weight: bold;
  color: rgb(0,0,0);
  border-bottom: 2px solid rgb(51,51,51);
  }

h2 {
  padding: 2em 0 0 0;
  text-align: left;
  font-size: 1.2em;
  margin: 1.5em;
  font-weight: bold;
  color: rgb(0,0,0);
  border-bottom: 1px dashed rgb(51,51,51);
  }

h3 {
  padding: 2em 0 0 0;
  text-align: left;
  font-size: 1.0em;
  margin: 1.5em;
  font-weight: bold;
  color: rgb(0,0,0);
  }

h4 {
  padding: 2em 0 0 0;
  text-align: left;
  font-size: 0.95em;
  margin: 1.5em;
  font-weight: bold;
  color: rgb(64,64,64);
  }

h5 {
  text-align: left;
  padding: 1em 0 0 0;
  margin: 1.5em;
  font-weight: bold;
  font-size: 1em;
  }

h6 {
  text-align: left;
  padding: 1em 0 0 0;
  margin: 1.5em;
  font-size: 0.9em;
  font-weight: bold;
  }

p {
  padding: 0 1em;
  margin: 1em;
  line-height: 1.5em;
  }

code {
  font-size: 1em;
  font-family: arial, monospace;
  color: rgb(77,90,175);
  font-weight: bold;
  }

pre {
  padding: 0 1em;
  margin: 1.5em;
  font-size: 1em;
  }

var {
  font-size: 1em;
  font-family: arial, monospace;
  color: rgb(175,90,77);
  font-weight: bold;
  }

dt {
	padding: 0.5em 1em 0 1em;
	margin: 0 1.5em;
	}

address {
  padding: 0 1em;
  margin: 1em;
  line-height: 1.5em;
  }

input {
	margin-left: 0.5em;
	}

ul {
	padding: 0 2em;
	margin: 1em 2em;
	}