body {
  font-family: arial,helvetica;
/*  font-size: 11px; */
  font-size: 80%;
  background-color: #ffffff;
  margin-left: 12px;
  margin-top: 2px;
  margin-bottom: 2px;
  border: 0px;
  padding: 0px;
}

p {
  font-family: arial,helvetica;
/*  font-size: 80%; */
  padding: 0px;
  margin-left: 12px;
  margin-top: 8px;
  margin-bottom: 8px;
}

p.answer-first {
  margin-left: 12px;
  margin-top: 2px;
  margin-bottom: 0px;
}

p.sectiontitle {
  font-size: 120%;
  color: #006666;
  font-weight: bold;
  margin-left: 0px;
  margin-top: 2px;
  margin-bottom: 8px;
}

table, tr, td, th {
}

h1 { font-size: 150% ; color: #006666;  margin: 0 0 0 0 }
h2 { font-size: 120% ; color: #006666;  margin: 0 0 0 0 }
h3 { font-size: 120% ; color: #006666;  margin: 0 0 0 0 }
h4 { font-size: 120% ; color: #006666;  margin: 0 0 0 0 }
h5 { font-size: 120% ; color: #006666;  margin: 0 0 0 0 }
h6 { font-size: 123% ; color: #006666;  margin: 0 0 0 0 }

ul, dl {
  margin-top: 8px;
  margin-bottom: 8px;
}

a { text-decoration: none; font-family: arial, helvetica }

a:link { color: #7000A4; }
a:visited { color: #7000A4; }
a:hover { text-decoration: underline }

.modified  { background-color: #ffff99; }
.unchanged { background-color: #cccccc; }
.deleted   { background-color: #999999; }
.inserted  { background-color: #66ff00; }

img.thumbnail {
  max-width:  20%;
  max-height: 20%;
}

pre {
  font-size: 100%;
white-space: nowrap
	}

div.indention {
  padding: 0px;
  margin-left: 12px;
  margin-top: 8px;
  margin-bottom: 8px;
}

div.mibobject {
  font-size: 120%;
  color: #006666;
  font-weight: bold;
  border-top: solid 1px black;
  margin-left: 0px;
  margin-top: 2px;
  margin-bottom: 8px;
}

div.mibgroup {
  font-size: 120%;
  color: #006666;
  font-weight: bold;
  border-top: solid 1px black;
  margin-left: 0px;
  margin-top: 2px;
  margin-bottom: 8px;
}

div.attr {
  font-size: 120%;
  color: #006666;
  font-weight: bold;
  border-top: solid 1px black;
  margin-left: 0px;
  margin-top: 0px;
  margin-bottom: 8px;
}

div.subattr {
  font-size: 120%;
  color: #006666;
  font-weight: bold;
  margin-left: 0px;
}


div.padding-left {
  font-family: arial,helvetica;
/*  font-size: 80%; */
  padding: 0px;
  margin-left: 12px;
  margin-top: 8px;
  margin-bottom: 8px;
}

span.filepath {
font-family: courier;
  font-size: 100%;
	}

span.msgph {
font-family: courier;
  font-size: 100%;
	}

span.sysout {
font-family: courier;
  font-size: 100%;
  font-weight: bold;
	}

span.userinput {
font-family: courier;
  font-size: 100%;
  font-weight: bold;
	}

span.cmdname {
font-family: courier;
  font-size: 100%;
  font-weight: bold;
	}

span.msgnum {
font-family: courier;
  font-size: 100%;
	}

span.varname {
font-family: courier;
  font-size: 100%;
  font-style: italic;
	}

div.clicommand {
  font-size: 120%;
  font-weight: bold;
  border-top: solid 1px black;
  margin-left: 0px;
  margin-top: 2px;
  margin-bottom: 8px;
}

div.clisection {
  font-size: 100%;
  font-weight: bold;
  margin-left: 0px;
}

code             {
display:block;
}

