/* Cascading Style Sheet Document
 * ver 05/09/26
 */

a:link {
	text-decoration: none; 
	color: lime;
}

a:visited {
	text-decoration: none;
	color: #009900;
}

a:active {
	text-decoration: underline;
	color: red;
}

a:hover {
	text-decoration: underline;
	color: red;
}

body {
	background-color: #efefe0;
	margin: 2em 2em 0;
}

div.contents {
	text-align: center;
}

div.footer, div.header {
	font-size: 0.8em;
	text-align: right;
}

dt {
	margin-top: 1em;
}

h3 {
	background-color: #ffff99;
	border-color: yellow;
	border-style: solid;
	border-width: 0 0 0.2em 0.2em;
	padding: 0.2em 0.4em;
}

h4 {
	background-color: #ffff99;
	border-color: yellow;
	border-style: solid;
	border-width: 0 0 0.1em 0.1em;
	padding: 0.1em 0.3em;
}

h5 {
	background-color: #ffff99;
	border-color: yellow;
	border-style: solid;
	border-width: 0 0 0.1em 0.1em;
	padding: 0.1em 0.3em;
}

li {
	margin-top: 1em;
}

p {
	margin-left: 1em;
}

pre {
	background-color: #ccffff;
	margin-left: 1em;
	padding: 0.4em;
}

pre.term {
	background-color: black;
	border: 3px ridge white;
	color: white;
	margin-left: 2em;
	padding: 0.2em;
}

table {
	margin-left: 1em;
}

li li {
	margin: 0;
}

.input {
	color: aqua;
}

.memo {
	font-size: 9pt;
	margin: 9pt
}

.modified {
	color: red;
}

.note {
	color: lime;
}