docs/style.css

@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;
}