/**/ body { margin: 0.5em; font-family: Verdana, Arial, sans-serif } h1, h2, h3, h4 { text-align: center; font-weight: bold; font-variant: small-caps } h1 { margin-top: 4em } h2 { margin-top: 3em } h3 { margin-top: 2.5em } h4 { margin-top: 2em } .smallcaps { font-variant: small-caps } #tp, #verso { text-align: center } #tp h1, #tp h2, #tp h3, #verso h1, #verso h2, #verso h3 { margin-top: 1em } a { text-decoration: none } a:hover { background-color: #ffc } blockquote { text-align: left } div.chapter { margin-top: 4em } div.exp { background-color: inherit; color: inherit; font-family: Arial, sans-serif; font-size: 0.9em } div.sec { margin-top: 1.5em } div.sec div.exp { clear: left; background-color: #ccf; font-size: 0.9em; border-style: dashed; border-color: #000; margin: 5px 10px 5px 0 } div.exps div.exp { background-color: inherit; font-size: 1em; font-family: Arial, sans-serif; border-style: none; margin-left: auto; margin-right: auto } div.note { border-style: dashed; border-color: #000; background-color: #cfc; font-size: 0.8em } div.sec div.note { clear: right } div.notes { margin: 15px auto auto auto } div.notes div.note { width: 90%; margin: 5px auto auto auto; clear: right } hr { width: 80% } table { margin-left: auto; margin-right: auto } table caption { margin: 0.5em 0 0.5em 0; text-align: center; font-size: 1.2em } td p { margin: auto } td { vertical-align: top } td.decimal { text-align: center; text-align: "." } ul { list-style-type: none } ol { list-style-type: decimal } strike { display: none } /**/