| @charset "utf-8"; |
| |
| * { |
| line-height: 140%; |
| margin: 0px; |
| padding: 0px; |
| } |
| |
| body { |
| background: lightgray; |
| color: #222; |
| margin: 10px 20px; |
| } |
| |
| a { |
| color: inherit; |
| text-decoration: none; |
| } |
| a:link { |
| color: #066; |
| padding: 0px 2px; |
| } |
| a:link:after { |
| content: "†"; |
| } |
| a:visited { |
| color: #057; |
| padding: 0px 2px; |
| } |
| a:visited:after { |
| content: "†"; |
| } |
| a:hover { |
| text-decoration: underline; |
| } |
| a[name]:hover { |
| color: inherit; |
| text-decoration: none; |
| } |
| a:active { |
| } |
| a[name]:active { |
| color: inherit; |
| padding: 0px; |
| } |
| |
| ol { |
| list-style-position: outside; |
| margin-left: 2em; |
| } |
| ol ol { |
| list-style-position: outside; |
| margin-left: 1em; |
| } |
| ul { |
| list-style-position: outside; |
| margin-left: 2em; |
| } |
| ul ul { |
| list-style-position: outside; |
| margin-left: 1em; |
| } |
| li { |
| margin: 5px 0px; |
| } |
| |
| code { |
| color: darkblue; |
| font-family: sans-serif; |
| font-style: normal; |
| padding: 0px 2px; |
| } |
| kbd { |
| color: darkgreen; |
| font-family: sans-serif; |
| font-style: normal; |
| padding: 0px 2px; |
| } |
| var { |
| color: darkred; |
| font-family: sans-serif; |
| font-style: normal; |
| padding: 0px 2px; |
| } |
| sup { |
| font-size: 75%; |
| } |
| |
| div#header { |
| font-family: "Times New Roman"; |
| padding: 5px 10px; |
| } |
| div#header div.left { |
| float: left; |
| } |
| div#header div.right { |
| float: right; |
| } |
| div#header div.end { |
| clear: both; |
| } |
| |
| div#body { |
| background: white; |
| border: 1px solid black; |
| box-shadow: 1px 1px 5px gray; |
| -webkit-box-shadow: 1px 1px 5px gray; |
| -moz-box-shadow: 1px 1px 5px gray; |
| padding: 20px; |
| } |
| |
| div#body h1 { |
| font-size: 150%; |
| margin: 10px; |
| text-align: center; |
| } |
| |
| div#body p#authors { |
| font-weight: bold; |
| margin: 10px; |
| text-align: center; |
| } |
| div#body p#authors span.author { |
| margin: 0px 1em; |
| } |
| |
| div#body p#abstract { |
| margin: 15px auto; |
| text-align: auto; |
| width: 75%; |
| } |
| div#body p#abstract span#heading { |
| font-family: "Times New Roman"; |
| font-style: italic; |
| font-weight: bold; |
| margin-right: 0.5em; |
| } |
| |
| div#body div.section { |
| clear: both; |
| margin: 5px 0px; |
| } |
| div#body div.section h2 { |
| background: honeydew; |
| border-bottom: 1px dashed darkgray; |
| color: #353; |
| font-size: 125%; |
| margin-top: 15px; |
| padding: 5px; |
| } |
| |
| div#body div.section p { |
| margin: 5px 0px; |
| text-indent: 1em; |
| } |
| |
| div#body div.section div.float { |
| box-shadow: 1px 1px 5px gray; |
| -webkit-box-shadow: 1px 1px 5px gray; |
| -moz-box-shadow: 1px 1px 5px gray; |
| clear: both; |
| float: right; |
| margin: 5px 0px 5px 10px; |
| max-width: 75%; |
| } |
| div#body div.section pre.code { |
| background: whitesmoke; |
| color: darkblue; |
| line-height: 125%; |
| overflow: auto; |
| padding: 5px 10px; |
| } |
| div#body div.section pre.console { |
| background: darkslategray; |
| color: white; |
| line-height: 125%; |
| overflow: auto; |
| padding: 5px 10px; |
| } |
| |
| div#body div.section table { |
| background: whitesmoke; |
| border-collapse: separate; |
| border-spacing: 5px; |
| empty-cells: hide; |
| padding: 5px 10px; |
| } |
| div#body div.section table caption { |
| background: inherit; |
| padding-top: 5px; |
| } |
| div#body div.section table th { |
| background: white; |
| box-shadow: 1px 1px 3px gray; |
| -webkit-box-shadow: 1px 1px 3px gray; |
| -moz-box-shadow: 1px 1px 3px gray; |
| font-weight: normal; |
| padding: 0px 5px; |
| } |
| div#body div.section table td { |
| background: white; |
| box-shadow: 1px 1px 2px gray; |
| -webkit-box-shadow: 1px 1px 2px gray; |
| -moz-box-shadow: 1px 1px 2px gray; |
| padding: 0px 3px; |
| } |
| |
| div#body div.section div.subsection { |
| clear: both; |
| margin: 5px 0px; |
| } |
| div#body div.section div.subsection h3 { |
| background: aliceblue; |
| border-bottom: 1px dashed lightgray; |
| color: #336; |
| font-size: 100%; |
| margin-top: 10px; |
| padding: 3px 5px; |
| } |
| |
| div#body div.section div.subsubsection { |
| margin: 5px; |
| } |
| div#body div.section div.subsubsection h4 { |
| background: lavenderblush; |
| border-bottom: 1px dashed lightgray; |
| color: #336; |
| font-size: 100%; |
| margin-top: 10px; |
| padding: 3px 5px; |
| } |
| |
| div#footer { |
| font-family: "Times New Roman"; |
| padding: 5px 10px; |
| } |
| div#footer div.left { |
| float: left; |
| } |
| div#footer div.right { |
| float: right; |
| } |
| div#footer div.end { |
| clear: both; |
| } |