body
{
   color: black;
   background: white;
   font-family: Verdana, Arial, sans-serif;
   text-align: justify;
   margin: 0;
   padding: 0;
}

.schplog
{
   padding: 2em 0 2em 2em;
   color: white;
   background: black;
}

.schplog1
{
   font-size: 400%;
}

.schplog2
{
   font-size: 200%;
}

.content
{
   margin: 1ex;
   padding: 1ex;
   max-width: 100ex;
}

img { border: 0; }
form { margin: 0; }
input { margin: 2px; }

a
{
   color: #006699;
   transition: color 0.3s linear;
}

a:hover
{
   color: #001122;
}

a:visited, a:hover:visited
{
   color: #004477;
}

td, th
{
   margin: 0;
   padding: 0;
}

div
{
   border-width: 0;
}

dt
{
   margin-top: 1.5ex;
   margin-left: 2ex;
   margin-bottom: 0.4ex;
   padding-bottom: 0;
}

dd
{
   margin: 0.1ex 2ex 0.3ex 4ex;
   padding: 0.1ex 1ex 0.3ex 1em;

   border-left: 1px solid #ccccee;
   border-bottom: 1px solid #ccccee;
   border-collapse: collapse;
}

code
{
   color: #006600;
   font-family: Andale Mono, monospace;
}

div.pre
{
   margin-right: -75ex;
}

pre
{
   background: #eeeeff;
   border: 0px solid #ddddff;
   color: black;
   padding: 2ex;
   white-space: pre;
   font-family: Andale Mono, monospace;
   min-width: 93ex;
   max-width: 115ex; /* hack for older browsers */
   max-width: min-content;
   margin-left: 3ex;
   margin-right: auto;
}

div.pod > ul
{
   font-size: 80%;
   margin-left: 3em;
}

div.pod > hr
{
   display: none;
}

div.pod > ul > li
{
   font-size: 100%;
   font-weight: bold;
}

div.pod > ul > li > ul > li
{
   font-size: 100%;
   font-weight: normal;
}

div.pod > ul > li > ul > li > ul > li
{
   font-size: 40%;
   font-weight: normal;
}

h1
{
   color: #006699;
   margin-top: 1ex;
   font-size: 180%;
   font-weight: bold;
   border-bottom: 2px solid #ff0000;
   padding-bottom: 0;
}

h2
{
   color: #006699;
   font-size: 120%;
   margin-top: 1ex;
   border-bottom: 2px solid #ff0000;
   padding-bottom: 0;
}

h3
{
   color: #003344;
   font-size: 100%;
   margin-top: 1ex;
   border-bottom: 1px solid #ff0000;
   padding-bottom: 0;
}

h4
{
   color: #003344;
   font-size: 100%;
   margin-top: 1ex;
   padding-bottom: 0;
}

img
{
   vertical-align: top;
}

ul > li
{
   line-height: 120%;
   list-style-type: disc;
}

ol > li
{
   line-height: 120%;
   list-style-type: decimal;
}

table
{
   margin-left: 3em;
   margin-top: 1ex;
   margin-bottom: 1ex;
   border-spacing: 0px;
   border-width: 2px;
   border-collapse: collapse;
   border-color: #88e;
   border-style: solid;
}

th
{
   text-align: center;
}

td, th
{
   padding: 2px 1ex 2px 1ex;
   border-width: 2px;
   border-color: #88e;
   border-style: solid;
}

.footer
{
   padding: 2ex;
   background: #dddddd;
}

.footer > *
{
   font-size: 80%;
}

.copyright
{
   font-size: 60%;
}

.nav,
.nav,
.meta
{
   font-size: 80%;
}

.nav-s
{
   margin: 1em 0;
}

.inline-image
{
   font-size: 80%;
   text-align: center;
   margin: 1em;
   border-width: 2px;
   border-color: #88e;
   border-style: solid;
}

.inline-image img
{
   margin: 1em;
}