body {
	max-width: 900px;
  width: 90%;
  margin: auto;
	font-family: Verdana, "Trebuchet MS", sans-serif;
  font-size: 90%;
}

a:link {
	text-decoration: none;
}
a:visited {
	text-decoration: none;
}
a:hover:not(.menu a:hover) {   /* exclude navbar menu hovering */
	text-decoration: underline;
}

p {
  margin-top: 8px;
  margin-bottom: 8px; 
}

.contents-list ul {
  margin-top: 0;
}

ul.contents-list li {
  list-style: none;
  padding-top: 1px;
  padding-bottom: 0;
}

updates-list ul {
  margin-top: 0;
}

ul.updates-list li {
  padding-top: 1px;
  padding-bottom: 0;
}

h1, h2, h3, h4, h5, h6 {
	font-family: Arial, Helvetica, sans-serif;
  color: #000000;
  padding: 2px;
  margin-top: 8px;
  margin-bottom: 2px;}

h3 {
	color: #000066;
	background-color: #7ACBDB;
	padding-left: 4;
	padding-right: 4;
	padding-top: 1;
	padding-bottom: 1;
}

h4 {
	color: #000033;
	background-color: #E4F4F8;
	padding-left: 2;
	padding-right: 2;
	padding-top: 1;
	padding-bottom: 1;
}

.HeaderBG {
	padding: 1px 4 1 4;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	color: #000066;
	background-color: #7ACBDB;
}
.YellowHighlight {
	background-color: #FFFFCC;
}
.DimText {
	color: #808080;
}
.rednote {
	color: #CC0000;
}
.acronym {
	border-bottom : 1px dashed #C0C0C0;
}
.init-cap {
	font-size: x-large;
	font-weight: bold;
	color: #003399;
}
.table_head {
	text-align: center;
	background-color: #7ACBDB;
}
.mono_sp {
	font-family: "Courier New", Courier, monospace;
}