abbr, acronym { 
	border-bottom: 1px dotted #000; 
}
b { 
	color: #0C7488; 
}
b.selfreference {
	font-weight: normal;
	border-bottom: 1px dotted #336666;
	color: #336666;
}
code { 
	color: #660000; 
	font-size: 100%
}
del {
	color: red;
}
dt { 
	color: #993306; 
}
hr {
	border: 0;
	width: 80%;
	color: #e66e31;
	background-color: #e66e31;
	height: 1px;
}
ins {
	background-color: yellow;
/*	text-decoration: none;  */
}
pre {
	font-size: 12px;
	color: #444444;
	background-color: #fefefe;
	border: thin dotted #444444;
	padding: 10px;
}
strong { 
	color: #003078; 
}
/*  message box  */
td.prompt {
	text-align: right;
	vertical-align: top;
	font-size: smaller; 
	font-weight: bold;
	color: maroon;
	padding-top: 5px;
}
div#diary { 
/*	border-bottom: 2px solid #9999FF;  */
	margin-top: 7px;
	margin-bottom: 10px;
}
div#message { 
	margin-top: 10px;
	border-top: 2px solid #9999FF;
	padding-top: 10px;
}
form.publish {
	margin-left: 40px;
}
a.sidenav { 
	text-decoration: none;
}
a.sidenav:active {
	color: #0C7488; 
}
a.sidenav:hover { 
	text-decoration: underline;
}
a.sidenav:link {
	color: #bb0000; 
}
a.sidenav:visited {
	color: #bb0000; 
}
hr.footnote {
	width: 30%; text-align: left;
}
div.footnote {
	width: 150px;
	border-bottom: 1px solid blue;
	margin-bottom: 5px;
}
p.footnote {
	text-indent: -1em;
	margin-right: 3em;
	margin-left: 3em;
	margin-top: 0px;
	margin-bottom: 5px;
	font-size: smaller;
}
p.right {
	text-align: right;
}
p.center {
	text-align: center;
}
p.q {
	border-top: 1px solid #9999FF;
	padding-top: 5px; 
}
p.a {
	margin-left: 40px;
}
div.tocr {
	float: right;
	margin-left: 10px;
	width: 145px;
	margin-bottom: 10px;
	border-top: 2px solid #003078;
	border-bottom: 2px solid #003078;
	border-left: 1px solid #003078;
	border-right: 1px solid #003078;
	background: #fefefe;
	font-size: smaller;
}
div.tocl {
	float: left;
	margin-right: 10px;
	width: 145px;
	margin-bottom: 10px;
	border-top: 2px solid #003078;
	border-bottom: 2px solid #003078;
	border-left: 1px solid #003078;
	border-right: 1px solid #003078;
	background: #fefefe;
	font-size: smaller;
}
div.tocl p, div.tocr p {
	background: silver;
	padding-top: 5px;
	padding-bottom: 5px;
	padding-left: 5px;
	padding-right: 5px;
	border-bottom: 1px solid #003078;
	margin-top: 0px;
	margin-bottom: 0px;
}
div.tocl ol, div.tocr ol {
	margin-top: 10px;
	margin-bottom: 10px;
}
div.tocl ul, div.tocr ul {
	margin-top: 10px;
	margin-bottom: 10px;
}
div.tocl li, div.tocr li {
	padding-right: 5px;
	margin-top: 5px;
	margin-left: -12px;
}
div.tocl dl, div.tocr dl {
	margin-top: 0px;
	margin-bottom: 0px;
	padding-bottom: 10px;
	background: silver;
}
div.tocl dt, div.tocr dt {
	background: #ffeedd;
	color: #003078; 
	margin-top: 0px;
	border-bottom: 1px solid #003078;
	padding: 5px;
}
div.tocl dd, div.tocr dd {
	margin-top:5px;
	margin-left: 15px;
	padding-right: 5px;
}
div.box {
	border: 3px solid #9999ff;
	padding-bottom: 15px;
}
div.box h4 {
/*	text-align: center;  */
	background: #ffc;
	padding-top: 10px;
	padding-bottom: 10px;
	padding-left: 15px;
	padding-right: 15px;
	border-bottom: 1px solid #9999ff;
	margin-top: 0px;
	margin-bottom: 0px;
}
div.box p {
	margin-top: 10px;
	margin-left: 15px;
	margin-right: 15px;
	margin-bottom: 0px;
}
div.callout {
	float: right;
	width: 160px;
	margin-top: 10px;
	margin-left: 10px;
	margin-bottom: 10px;
	padding-left: 15px;
	padding-right: 15px;
	border-top: 3px solid #003078;
	border-bottom: 3px solid #003078;
	border-left: 1px solid #003078;
	border-right: 1px solid #003078;
	background: #fffacd;
	text-align: center;
	font-size: larger;
}
ol.withalpha {
	list-style: lower-alpha;
}
span.anchor {
	float: left;
	font-size: 10px;
	margin-left: -10px;
	width: 10px;
	text-align: center;
}
span.anchor a { 
	color: #006699;
	text-decoration: none; 
}
span.anchor a:hover { text-decoration: underline; }
span.stickynote {
	font-size: smaller;
	float: right;
	padding: 8px;
	margin-left: 10px;
	margin-right:-10px;
	margin-bottom: 10px;
	width: 160px;
	border-top: 1px dotted;
	border-bottom: 1px dotted;
	text-align: center;
	color: navy;
	background-color: #dcdcdc;
}
div.navbar { 
	margin-top: 10px;
	border-top: 2px solid #9999FF;
	padding-top: 5px;
}