div.abstract { margin-left: 1in; margin-right: 1in; }
.leftmenu { padding: 3px; }
.footer { font-style: italic; }
p.centered, h1.centered { text-align: center; }
img.lbutton { border-style: none; }
img.borderless { border-style: none; }
img.bordered { border-style: outset; border-width: 2px; }
p { text-align: justify; width: 93%; margin-left: 10px; }
pre { width: 90%; margin-left: 15px; }
div.lspaced { width: 93%; margin-left: 20px; }
.oddcell>p { text-align: left; width: auto; margin-left: 0px; }
li>p { text-align: left; margin-left: 0px; }
ul.just>li>p { text-align: justify; }
ul li { list-style-type: disc; }
ul.menu li { list-style-type: square; }
ul.menu { margin-left: 0px; }
ul li ul li { list-style-type: circle; }
ol li { list-style: decimal; }
ol li ul li { list-style-type: square; }
ol ol li { list-style: lower-roman; }
ol ol ol li { list-style: lower-alpha; }