img { border:none; }

h1 { font-size:18pt; }
h2 { font-size:16pt; }
h3 { font-size:14pt; }
h4 { font-size:12pt; }

a {
    font-weight:bold;
    margin:0;
    padding:0;
    text-decoration:none;
}
a:link    { color:#FFFFFF;  text-decoration: none;      }
a:visited { color:#FFFFFF;  text-decoration: none;      }
a:hover   { color:red;      text-decoration: underline; }
a:active  { color:gray;     text-decoration: none;      }

body {
    background-color:#899AAA;
    font-family:Arial,sans-serif;
    font-size:12pt;
    margin:0;
    padding:1em;
    list-style:none;
}

#content {
    margin:0 0 0 18em;
    position:right;
}

.header {
    font-size:18pt;
    text-align:right;
    margin:0 50px 0 0;
    padding:0;
}

.sidebar {
  position: absolute;
  float: none;
  left: 20px;
  font-family: sans-serif;
  background-color: rgb(235,235,235);
  margin: 10px;
  padding: 5px;
  padding-left: 15px;
  padding-right: 15px;
  border: 1px solid black;
}

#sidebar ul {
    margin:0;
    padding:0;
}

#sidebar li {
    list-style:none;
    margin:0;
    padding:0;
}

#sidebar a {
    font-weight:bold;
    margin:0;
    padding:0;
    text-decoration: none;
}

.sidebar a:link    { color:black;   text-decoration: none;      }
.sidebar a:visited { color:black;   text-decoration: none;      }
.sidebar a:hover   { color:blue;    text-decoration: underline; }
.sidebar a:active  { color:gray;    text-decoration: none;      }

#buttons {
  float: center;
  text-align: center;
  padding: 0px;
  line-height: 0px;
  margin-bottom: 15px;
}

#footer {
    clear:both;
    position:fixed;
    bottom:0px;
    right:0px;
    text-align:right;
    font-size:8pt;
}

.footer a:link    { color:black;    text-decoration: none;      }
.footer a:visited { color:black;    text-decoration: none;      }
.footer a:hover   { color:blue;     text-decoration: underline; }
.footer a:active  { color:gray;     text-decoration: none;      }

pre {
  font-style: monospace;
  font-size: 1em;
  background-color: #BBBBBB;
  display: block;
  margin-left: 15px;
  margin-right: 10%;
  margin-bottom: 0em;
  margin-top: 0px;
  padding-left: 10px;
  padding-top: 5px;
  padding-bottom: 5px;
  border-left: 3px solid black;
}

pre.hl {
  color:#000000;
  background-color:#BBBBBB;
}

code {
  font-style: monospace;
  font-size: 1em;
  background-color: #BBBBBB;
  display: block;
  margin-bottom: 0em;
}


.inlinepage {
  font-family: sans-serif;
  line-height: 125%;
  letter-spacing: 1px;
  word-spacing:1px;
  /* font-size: small; */
  background-color: rgb(235,235,235);
  color: rgb(80,80,80);
  margin-top: 1em;
  margin-bottom: 1em;
  padding-top: 0px;
  padding-bottom: 10px;
  padding-left: 25px;
  padding-right: 25px;
  width: 85%;
  border: 1px solid black;
}

.inlinepage .inlinepage {
  border: none;
  padding: 0px;
  margin-top: 25px;
  margin-bottom: 0px;
  margin-left: 0px;
  margin-right: 0px;
}

.inlinepage img {
  margin-left: 20px;
}

.inlinepage a:link    { color:#AA4444;   text-decoration: underline; }
.inlinepage a:visited { color:#AA4444;   text-decoration: underline; }
.inlinepage a:hover   { color:blue;      text-decoration: underline; }
.inlinepage a:active  { color:#AA4444;   text-decoration: none;      }