body { max-width: 500px; }
h1 { margin-bottom: 0.4em; margin-top: 0.4em; }
h2 { margin-bottom: 0.2em; margin-top: 0.6em; }
h3 { margin-bottom: 0.2em; margin-top: 0.6em; }
div.author { margin-bottom: 0.2em; margin-top: 0.2em; }

div { margin-top: 0.2em; margin-bottom: 0.2em; }
pre { }
blockquote { }

p { text-indent: 1em; margin-top: 0.2em; margin-bottom: 0.2em; }

strong, b { font-weight: bold; }
em, i, cite { font-style: italic; }

cite.compute { font-style: normal; font-weight: bold; }

h2 + p { text-indent: 0em; }
h3 + p { text-indent: 0em; }
div.author + p { text-indent: 0em; }

span.center { display: block; text-indent: 0em; }
span.left { display: block; text-indent: 0em; }
span.inverse { color: #ffffff; background: #000000; }
span.vert { writing-mode: vertical-lr; }

.center { text-align: center; }
.left { text-align: left; }

.bold { font-weight: bold; }
.italic { font-style: italic; }

.ni { text-indent: 0em; }
.in { text-indent: 1em; }

/* list formatting */
ul { }
ol { }
ul.none { list-style-type: none; }

/* table formatting */
table { border-spacing: 0; border-collapse: collapse; padding: 0; }
td { vertical-align: top; }
table.border { border: 1px solid black; }
table.border td { border: 1px solid black; }