html {
  background: #888888;
}

body {
  width: 750px;
  border: 1px solid black;
  padding: 5px;
  background: white;
}

h1, h2, h3 {
  background: #bbbbbb;
  color: navy;
}

h2 {
  width: 80%;
}

h3 {
  width: 70%;
}

dl dt {
  font-weight: bold;
  background: #e8e8e8;
  width: 50%;
}

dl dd {
  border-left: 2px dotted #bbbbbb;
  margin: 5px;
  margin-left: 2em;
  padding-left: 0.5em;
}

a:link {
  color: blue;
}

a:visited {
  color: navy;
}

a:hover, a:focus, a:active {
  color: navy;
  background: lime;
  text-decoration: none;
}

@media print {
  html {
    background: white;
  }
  body {
    border: 0;
  }
  div#linkcontent {
    display: none;
  }
}

div#linkcontent {
  font-size: 70%;
}

/*
@media screen {
  div#mark {
    display: none;
  }
}

@media print {
  div#mark {
    position: fixed;
	right: 0px;
	top: 0px;
	width: 8cm;
	height: 6cm;
	background: #aaaaaa;
	content: 'marker';
  }
} */

table {
  width: 100%;
  border-spacing: 0;
  border-collapse: collapse;
  border: 2px solid black;
}

td {
  border: 1px solid black;  
  padding: 2px;
}

td:first-child {
  text-align: right;
}

td[colspan="3"] {
  text-align: center;
  font-weight: bold;
  background: #e8e8e8;
}

th {
  background: #bbbbbb;
  border: 1px solid black;
}

h1 {
  page-break-before: always;
}

.comment {
	color: green;
	font-style: italic;
}

.string {
	color: #cc0044;
}

.preproc {
	color: red;
	font-weight: bolder;
}

.special {
	color: blue;
	font-weight: bold;
}