/* ours general style sheet  Ver 3.03, loc: oecu*/
body {background-color: #ffffd0; color: #102c5c;}
.plain {margin: 10px 5%; font-size: 100%}
.large {margin: 10px 5%; font-size: 120%}
.small {margin: 10px 7%; font-size: 75%}
.left {margin: 10px}
.right {margin: 10px; text-align: right}
.indent {text-indent: 1em; margin: 10px 5%}
.center {text-align: center; margin: 5px}
.warning {margin: 10px 5%; color: red}
.wide {margin: 10px 0%}
.src {
	margin-top: 10px; 
	margin-bottom: 10px; 
	margin-right:150px;
	margin-left:7%;
	font-size: 75%;
	white-space: pre;
	font-family: monospace; 
	background-color: #e6ffff ;
	border: 1px solid ;
	border-color: #cfdbe5 ;
/*	white-space: pre; */
	padding: 3pt;
}

p {margin: 10px 5%}	/* = div.plain */


/* margin: top right (bottom left) */


table {margin: 10px 5%; empty-cells: show}
table.googleleft {align: left; margin: 0px}
tr.center {text-align: center; vertical-align: middle}
td.thm {width: 160px; vertical-align: top}
td.sep {width: 20px}

a:link {color: blue; text-decoration: none}
a:active {color: black;  text-decoration: none}
a:visited {color: #339930; text-decoration: none}
a:hover {color: orange; text-decoration: none; font-weight: none} /* not work NC 4.73 */

img {border-width: 0px}

h1 {font-size: 200%; font-weight: bold; text-align: center; margin-top: 5px; margin-bottom: 0px}
h2 {font-size: 160%; font-weight: bold; text-align: left; margin-top: 20px; margin-bottom: 10px; margin-right:0px}
h3 {font-size: 120%; font-weight: bold; text-align: left; margin-top: 10px; margin-left: 2%; margin-bottom: 5px; margin-right:0px}
h4 {font-size: 100%; font-weight: bold; text-align: left; margin-top: 10px; margin-left: 3%; margin-bottom: 5px; margin-right:0px}
h5 {font-size: 100%; font-weight: bold; text-align: left; margin-top: 10px; margin-left: 5%; margin-bottom: 5px; margin-right:0px}
h6 {font-size: 100%; font-weight: bold; text-align: left; margin-top: 10px; margin-left: 5%; margin-bottom: 5px; margin-right:0px}
ul {margin-top: 5px; margin-bottom: 5px; margin-left: 7%; margin-right: 5%}
ol {margin-top: 5px; margin-bottom: 5px; margin-left: 7%; margin-right: 5%}
dl {margin-top: 5px; margin-bottom: 5px; margin-left: 7%; margin-right: 5%}
form {margin: 10px 5%}
dt {margin-top: 5px; font-weight: bold; }
dd {margin-left: 14%}