/* Impera Media Style */ body { color: #000; background-color: #FFF; font-family: serif; line-height: 1.4em; text-align: left; text-indent: 0; border: 0 none; margin: 0; padding: 0; } .edge { color: #FFF; background-color: #000; } #cover img { text-align: center; font-style: italic; font-size: 90%; margin: 0 auto; padding: 0; } #header img { border: 0 none; margin: 0; } #header div a, #footer div a { color: #FFF; background-color: #000; text-decoration: none; } #author { margin-bottom: 1.5em; } #licensenotice { font-size: .9em; line-height: 1.2em; } #abstract { text-align: justify; } #contents ul ul, #contents ol ol, #contents ul ol, #contents ol ul { margin-left: 2em; } #contents ul li, #contents ol li { margin-top: .5em; margin-bottom: .5em; } .section { margin-bottom: 6em; text-align: justify; } h1 { font-size: 3.5em; line-height: 1em; font-weight: 400; margin-top: 0; margin-bottom: 1em; } h2 { font-size: 2.5em; line-height: 1em; font-weight: 400; margin-top: 0; margin-bottom: .5em; } h3 { font-size: 1.5em; line-height: 1.2em; font-weight: 400; margin-top: 1em; margin-bottom: .5em; } h4 { font-size: 1.2em; line-height: 1.2em; font-weight: 700; margin-top: 1em; margin-bottom: 0; } h5 { font-size: 1em; line-height: 1.2em; font-weight: 700; margin: .5em 0; } h6 { font-size: 1em; line-height: 1.2em; font-weight: 700; float: left; margin: 0 1.5em 0 0; } p { text-indent: 0; margin-top: .5em; margin-bottom: .5em; } pre { font-family: monospace; font-size: .85em; line-height: 1.2em; text-align: left; white-space: pre; margin-top: 1em; margin-bottom: 1em; border: 1px #000 solid; padding: 1.5em; } ol, ul { margin: .5em 2em .5em 3em; padding: 0; } .plainlist { list-style-type: none; } dl { margin: .5em 2em; } table { font-size: 1em; line-height: 1.4em; margin-top: 1em; } img { border: none; position: absolute; top: 0; left: 0; margin: 0; padding: 0; } #references ul li { margin-top: 1em; margin-bottom: 1em; } code, tt { font-family: monospace; } .codeblock { font-family: monospace; font-size: .85em; line-height: 1.2em; text-align: left; margin-top: 1em; margin-bottom: 1em; border: 1px #000 solid; padding: 1.5em; } .codeblock .codeblock { font-size: 1em; border: 0 none; padding-top: 0; padding-bottom: 0; margin: 0; } li, dt, dd { margin-top: .25em; margin-bottom: .25em; } dt { font-weight: 700; } a { color: #000; background-color: #FFF; } .highlight { color: #000; background-color: #e0e0e0; } #heading, #preface, #contents { margin-bottom: 6em; } #e, #timestamp { margin-bottom: .5em; } #contents ul, #contents ol, #references ul { list-style-type: none; margin-left: 0; }