BODY,H1,H2,H3,H4,H5,H6,P,CENTER,TD,TH,UL,DL,DIV {
  font-family: Geneva, Arial, Helvetica, sans-serif;
}

BODY {
  background: white;
  color: black;
  margin-right: 40px;
  margin-left: 40px;
}

.log_frame {
  height:250px;
  overflow:auto;
  border:solid 2px MediumSlateBlue;
  padding:4px;
}

.log_space {
  margin-left: 18px;
} 

H1 {
  text-align: left;
  font-size: 160%;
}

H2 {
 font-size: 120%;
 color: #ffffff;
 background-color: #0d1c69;
 padding-left: 10px;
 padding-top: 5px;
 padding-bottom: 5px;
}

.gray {
  background-color: #cacaca;
}

.icon4 {
  background-image: url(icon6.gif);
  background-repeat: no-repeat;
  padding-top: 0;
  padding-left: 11px;
}

A.qindex {
       text-decoration: none;
       font-weight: bold;
       color: #1A419D;
}
A.qindex:visited {
       text-decoration: none;
       font-weight: bold;
       color: #1A419D
}
A.qindex:hover {
	text-decoration: none;
	background-color: #ddddff;
}
A.qindexHL {
	text-decoration: none;
	font-weight: bold;
	background-color: #6666cc;
	color: #ffffff;
	border: 1px double #9295C2;
}
A.qindexHL:hover {
	text-decoration: none;
	background-color: #6666cc;
	color: #ffffff;
}
A.qindexHL:visited { text-decoration: none; background-color: #6666cc; color: #ffffff }
A.el { text-decoration: none; font-weight: bold }
A.elRef { font-weight: bold }
A.code:link { text-decoration: none; font-weight: normal; color: #0000FF}
A.code:visited { text-decoration: none; font-weight: normal; color: #0000FF}
A.codeRef:link { font-weight: normal; color: #0000FF}
A.codeRef:visited { font-weight: normal; color: #0000FF}


A { text-decoration: none; font-weight: color: #0000ff}
A:visited { text-decoration: none; font-weight: color: #0000ff}
A:hover { text-decoration: none; font-weight: color: #0000ff}

DL.el { margin-left: -1cm }
.fragment {
       font-family: monospace, fixed;
       font-size: 95%;
}