abbr, acronym { 
	border-bottom: 1px dotted #000; 
}
/* b.selfreference {
	color:  #007a57;
	font-weight: normal;
	border-bottom: 1px dotted  #007a57;
} */

/*  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;
}
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: 0em;
	margin-bottom: 1em;
	font-size: smaller;
}
p.right {
	text-align: right;
}
p.center {
	text-align: center;
}
p.q {
	border-top: 1px solid #9999FF;
	padding-top: 10px; 
}
p.a {
	margin-left: 40px;
}
div.tocr {
	float: right;
	margin-left: 10px;
	width: 145px;
	margin-bottom: 10px;
	border: 2px solid #003078;
	background: #fefefe;
	font-size: smaller;
}
div.tocl {
	float: left;
	margin-right: 10px;
	width: 145px;
	margin-bottom: 10px;
	border: 2px 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: 5px;
}
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 {
	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;
	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: #000000;
	text-decoration: none; 
}
span.anchor a:hover { text-decoration: underline; }

div.navbar { 
	margin-top: 10px;
	border-top: 2px solid #9999FF;
	padding-top: 5px;
}