div.debug {
   background: #FFFFFF;
   border-color: #000000;
   border-style: solid;
   border-width: thin;
}

/*
 * GLOBAL STUFF
 */

body {
   background-color: #DDDDDD;
   font-family: "verdana", "helvetica", "arial", "lucida sans", sans-serif;
   font-size: 1.0em;
   padding: 24px;
   padding-left: 48px;
   padding-right: 48px;
}

a {
   color: #555555;
   font-weight: bold;
}

a:hover {
   color: #888888;
}

h1 {
   background-color: #BBBBBB;
   border-width: thin;
   border-style: solid;
   border-color: #888888;
   font-weight: bold;
   font-size: 2.0em;
   padding-left: 6px;
   margin-top: 0px;
}

h2 {
   border-bottom-width: thin;
   border-bottom-style: solid;
   border-bottom-color: #888888;
   font-size: 1.44em;
   padding-left: 12px;
   margin-top: 18px;
   margin-bottom: 24px;
   width: 360px;
}

h3 {
   font-size: 1.2em;
   padding-left: 18px;
}

p {
   padding-left: 24px;
   padding-right: 24px;
   text-align: justify;
   line-height: 135%;
}

code {
   background-color: #FFFFFF;
   margin-left: 24px;
   margin-right: 24px;
   margin-top: 12px;
   border-width: thin;
   border-style: solid;
   border-color: #000000;
   font-family: "lucida console", "courier new", "monospace";
   padding: 18px;
   display:  block;
}

table {
   empty-cells: show;
   border-width: 1px;
   border-style: solid;
   border-collapse: collapse;
   margin-bottom: 18px;
}

th {
   border-width: thin;
   border-style: solid;
   background-color: #BBBBBB;
   font-size: 1.1em;
   font-weight: bold;
   text-align: left;
   padding: 3px;
   padding-left: 18px;
   padding-right: 18px;
}

td {
   border-width: thin;
   border-top-style: solid;
   border-bottom-style: solid;
   border-color: #888888;
   padding: 3px;
   padding-left: 6px;
   padding-right: 12px;
   white-space: nowrap;
}

caption {
   white-space: nowrap;
   text-align: right;
   font-size: 0.9em;
}