body {margin: 0}
p {margin-left: 2em; margin-right: 2em;}
h3 {color: #214EF3; margin-left: 0.5em;}
h3 .console {color: #214EF3; font-family: monospace;}
a.nav, a.nav:active, a.nav:visited, a.nav:hover {color: #4070C2;};
a.lnav, a.lnav:active, a.lnav:visited, a.lnav:hover {color: #0000AA;};
.note {margin-left: 4em; color: #666666;}
.date {color: #999999;}
.hx {color: #214EF3; font-weight: bold; display: inline;}
input.cmt {border: 1px solid #4070C2; width: 100%; font-family: serif; }
textarea.cmt {border: 1px solid #4070C2; width: 100%; font-family: serif;}
ul
{
	list-style: none;
}
ul li
{
	margin-bottom: 0.7em;
}