body { color: black; background: white; font-family: courier new, courier, fixed, monospace; }
h1,h2,h3 { text-transform: lowercase; text-align: center; }

h1, h1 a { color: black; text-decoration: none; }

a[href] { font-weight: bold; color: black; }
a:visited { color: #333; }
a:active { color: #700; }

#nav {
    float: right;
    width: 15em;
    font-size: small;
    border: solid black 1px;
    padding: 1ex;
    margin: 0px 0px 1ex 1ex;
    background: white;
}
#nav ul { margin: 0px; padding: 0px; list-style-type: none; }
#nav li { margin: 0px; padding: 0px; }
#nav ul ul { font-weight: normal; }
#nav ul ul li { padding-left: 2em; text-indent: -1em; }
#nav h2 { margin: 0px 0px 0.5ex; padding: 0px 0px 0.5ex; border-bottom: solid black 1px; }
#nav a { font-weight: normal; text-decoration: none; }

.entry { border: black 1px; border-style: solid none; margin-bottom: 1ex; }
.intro { border: black 1px; border-style: solid none dashed; }
.extend { border-bottom: solid black 1px; }


h2 span { font-size: medium; }
h2 span:before { content: '('; }
h2 span:after { content: ')'; }
#nav span { display: block; text-align: right; font-size: x-small; margin-top: 1em; }

h2 a.permalink { float: left; font-size: x-small; }

p.comment { text-align: right; font-size: small; font-style: italic; }