body { margin: 0; padding: 0; text-align: left; background-color: #ffa }
h1 { font-size: 3em; color: #000; text-align: center }
.error { font-size: 2em; color: #f00; background-color: #000 }
.header { font-size: 3em; color: #f00; text-align: center }
.title { font-size: 2em; text-align: center }
.authors { font-size: 1.2em; text-align: left }
.keywords { font-size: 0.8em; text-align: left }
.section { font-size: 2em; color: #011; background-color: #aaf }
.subsection { font-size: 1.5em; color: #033 }
.example { font-size: 1em }
.note { font-size: 1em }
.resp { font-size: 1em; color: #fff; background-color: #000 }
.button { font-size: 1em }
.bibitem { font-size: 1em; color: #011 }
.toc { font-size: 1.5em; color: #000; border-style:groove; background-color: #aaf; text-align: center }
.toc0 { font-size: .8em; border-style: solid; border-width: 1; border-right-width: 0; margin-left: 2; text-align: left }
.sidesection { font-size: 1em; color: #010; border-style: groove; border-top-width: thin; border-bottom-width: thin; border-left-width: 0; border-right-width: 0 }
.sidenote { font-size: 1em; color: #100 }
.comment { font-size: 1em; color: #100; border-style: groove; margin-left: 5; padding-left: 5; padding-right: 5 }
.commentnum { font-size: 1em; color: #100; font-weight: lighter }
.commentcontent { font-size: 1em; color: #100 }
.commentuser { font-size: 1em; color: #100; text-align: right }
.commentdate { font-size: 1em; color: #100; text-align: right }
.fixedtl { position: fixed; top: 0px; left: 0; width: 150px; border-style: groove; margin-left: 5; padding-left: 5; padding-right: 5; background-color: #fff }
.left { float: left; width: 150px; margin: 20px; border-style: groove; margin-left: 5; padding-left: 5; padding-right: 5; background-color: #fff }
.right { float: right; width: 150px; margin: 20px; border-style: groove; margin-left: 5; padding-left: 5; padding-right: 5; background-color: #fff }
.left { float: left; width: 150px; margin: 20px; border-style: groove; margin-left: 5; padding-left: 5; padding-right: 5; background-color: #fff }
.workingimg { position: absolute; z-index: 20; }
.front { font-size: 1em; background-color: #aaf; color: #000; text-align: center; font-size: 1em; }