/* Standard style sheet for Temblast website */

body
{background-color: #ffff80;
 color: black;
 font-family: Arial, sans-serif;
 font-size: 85%;
 line-height: 125%;
 margin: 0;
 padding: 1em}

a
{color: blue}
a:hover
{color: red}

h1
{font-size: 150%;
 font-weight: bold;
 margin-top: 0;
 margin-bottom: 0.5em}

h1.header
{float: left}

h2
{font-size: 125%;
 font-weight: bold;
 margin-top: 0.5em;
 margin-bottom: 0.5em}

img
{border: 2px solid black}

img.logo
{border-style: none}

img.plot
{margin-top: 0.5em;
 margin-bottom: 0.5em;
 border-style: none}

img.shot
{border-style: none}

/* Tables */

table
{margin-top: 0.5em;
 margin-bottom: 0.5em;
 border-collapse: collapse}

table.nested
{margin-top: 0;
 margin-bottom: 0}

th
{font-family: Arial, sans-serif;
 font-weight: bold;
 text-align: left}

td
{font-family: Arial, sans-serif;
 font-weight: normal;
 vertical-align: top}

/* Open tables */

table.open th
{padding-left: 0.75em;
 padding-right: 0.75em;
 border-bottom: solid 1pt black}

table.open th:first-child
{padding-left: 0}

table.open td
{padding-left: 0.75em;
 padding-right: 0.75em;
 border: none}

table.open td:first-child
{padding-left: 0}

/* Closed tables */

table.closed th
{padding-left: 0.5em;
 padding-right: 0.5em;
 background-color: yellow;
 border: solid 1pt black}

table.closed td
{padding-left: 0.5em;
 padding-right: 0.5em;
 background-color: white;
 border: solid 1pt black}

table.closed td.empty
{border: none;
 background: none}

table.closed tr.b td
{background-color: #e8e8e8}

table.closed tr.unused td
{background-color: #d0d0d0}

/* Table of contents */

table.toc
{float: left;
 margin-right: 2em}

table.toc td
{font-size: 125%;
 font-weight: bold;
 background-color: white;
 padding-left: 0.5em;
 padding-right: 0.5em;
 border: solid 1pt black}

table.toc a
{text-decoration: none}

p
{font-size: 100%;
 font-weight: normal;
 margin-top: 0.75em;
 margin-bottom: 0.75em}

ul
{margin-top: 0;
 margin-bottom: 0;
 margin-left: 0;
 padding-left: 2em;
 list-style-type: disc}

div
{margin-top: 0.5em;
 margin-bottom: 0.5em}

div.header
{float: right;
 margin-left: 1em;
 margin-top: 0}

div.footer
{float: left}

div.badges
{float: right;
 margin-left: 1em;
 margin-top: 0}

div.code
{display: inline-block;
 min-width: 40em;
 padding: 0.5em;
 white-space: pre;
 font-family: "Lucida Console", "Courier New", monospace;
 background-color: white}

p {max-width: 40em}

@media (min-width: 80em)
{
  p {max-width: 80em}
}

code
{font-family: "Lucida Console", "Courier New", monospace}

hr
{clear: both;
 margin-top: 0.5em;
 margin-bottom: 0.5em;
 height: 2px;
 color: black;
 background-color: black;
 border: none}