/*

  This stylesheet is (c) 2007-2015 Bruce Ravel.
  
  This document and this stylesheet are licensed under a Creative
  Commons Attribution-Share-Alike License.
  See http://creativecommons.org/licenses/by-sa/3.0/

*/



a:link {
    text-decoration: none;
    color: #4F0C80;
}
a:visited {
    text-decoration: none;
    color: #4F0C80;
}
a:hover {
    text-decoration: none;
    color: #dd9103;
}

body {
    font-family:Verdana,Geneva,'DejaVu Sans',sans-serif;
    /* font-family:'Bookman Old Style',Bookman,'URW Bookman L','Palatino Linotype',serif; */
    background:#ffffff;
    margin-left: 0;
    padding-left: 18px;
    border-left: 16px solid #4F0C80;
    margin-top: 0;
    padding-top: 0;
    border-top: 0;
}


em {
    font-shape: italic;
    text-decoration: underline;
}


h1, h2, h3, h4, h5, h6 {
    color:#232323;
    margin:36px 0 10px;
}

/* p, ul, ol, table, dl { */
/*   margin:0 0 22px; */
/* } */

h1, h2, h3, h4 {
    /* font-family: Arvo, Monaco, serif; */
    /* font-family: Constantia,Georgia,'Nimbus Roman No9 L',serif; */
    font-family:'Courier New',Courier,'Nimbus Mono L','Lucida Console','DejaVu Sans Mono',monospace;
    line-height:1.3;
    font-weight: bold;
}

h1 {
    display: block;
    border-bottom: 3px solid #4F0C80;
    padding-top: 12px;
    padding-bottom: 5px;
}
h2, h3 {
    display: block;
    border-top: 1px solid #ccc;
    padding-bottom: 5px;
}
h4 {
    display: block;
    border-top: 1px dashed #ccc;
    padding-bottom: 5px;
}

h1 {
    font-size: 30px;
}

h2 {
    font-size: 26px;
}

h3 {
    font-size: 22px;
}

h4 {
    font-size: 18px;
}

h5, h6 {
    font-family: Arvo, Monaco, serif;
    font-weight: 700;
}

sub {
    font-size: 70%;
}

sup {
    font-size: 70%;
}

dt {
    font-weight: bold;
}

pre {
    font: 0.9em monospace; 
    margin-left: 5%;
    margin-right: 15%;
    background: #f5e5f5;
    border-top: solid 1px;
    border-left: solid 1px;
    border-bottom: solid 3px;
    border-right: solid 3px;

    /* see http://robertnyman.com/2010/03/16/drop-shadow-with-css-for-all-web-browsers/ */
    -moz-box-shadow: 3px 3px 4px #000;
    -webkit-box-shadow: 3px 3px 4px #000;
    box-shadow: 3px 3px 4px #000;
    /* For IE 8 */
    -ms-filter: "progid:DXImageTransform.Microsoft.Shadow(Strength=4, Direction=135, Color='#000000')";
    /* For IE 5.5 - 7 */
    filter: progid:DXImageTransform.Microsoft.Shadow(Strength=4, Direction=135, Color='#000000');

    padding-top: 8px;
    padding-bottom: 8px;
    padding-left: 8px;
}

.plottitle {
    font: 1.3em sans-serif;
    font-weight: bold;
    color:#8c4112;
    border-top:1px dotted #8c4112;
    border-bottom:1px dotted #8c4112;
    padding-top: 2px;
    padding-bottom: 2px;
    padding-left: 16px;
    padding-right: 16px;
}

.perlblock {
    font: 1em monospace; 
    margin-left: 5%;
    margin-right: 2%;
    margin-top: 8px;
    margin-bottom: 0px;
    background: #fff8ed;
    border-top: solid 1px;
    border-left: solid 1px;
    border-bottom: solid 1px;
    border-right: solid 1px;
    padding-top: 2px;
    padding-bottom: 8px;
    padding-left: 8px;
}
.perlsample {
    font: 1em monospace; 
    margin-left: 5%;
    margin-right: 2%;
    margin-top: 8px;
    margin-bottom: 0px;
    background: #fff8ed;
    border-top: solid 1px;
    border-left: solid 1px;
    border-bottom: solid 3px;
    border-right: solid 3px;
    padding-top: 2px;
    padding-bottom: 8px;
    padding-left: 8px;
}

.olscript {
    font: 1em monospace; 
    background-color: #e8e8e8;
    padding-top: 2px;
    padding-bottom: 8px;
    padding-left: 8px;
    padding: 0 0 0 0;
    margin-left: 5%;
    margin-right: 2%;
    margin-top: 8px;
    margin-bottom: 0px;
}

.caution {
    background: #fff0f5;
    border-top: solid 3px #aa0000;
    border-left: solid 20px #aa0000;
    border-bottom: solid 3px #aa0000;
    border-right: solid 3px #aa0000;
    border-radius:8px;
    padding: 8px;
    margin-left: 4%;
    margin-right: 10%;
}
.todo {
    background: #ccffea;
    border-top: solid 3px #274f3e;
    border-left: solid 20px #274f3e;
    border-bottom: solid 3px #274f3e;
    border-right: solid 3px #274f3e;
    border-radius:8px;
    padding: 8px;
    margin-left: 4%;
    margin-right: 10%;
    min-height:36px;
}

.indented {
    margin-left: 10%;
}

/* make sure an image does not exceed the contentarea width, even in a small browser window */
.flexy {
    max-width: 100%;
}

.key {
    font: 0.9em monospace;
    color: #8B3A3A;
    border-width: 1px 2px 2px 1px;
    border-style: solid solid solid solid;
    border-color: #ccc;
}
.program {
    font: bold 0.8em serif;
    color: #8c4112;
}
.premise {
    font: bold 1.2em serif;
    color: #4F0C80;
    border-top: solid 3px #4F0C80;
    border-left: solid 20px #4F0C80;
    border-bottom: solid 3px #4F0C80;
    border-right: solid 3px #4F0C80;
    border-radius:8px;
    padding: 8px;
    margin-left: 4%;
    margin-right: 10%;
}
.smallcap {
    font-varient: small-caps;
    font-size: 0.9em;
}
.programlink {
    font: bold 0.8em serif;
}
.file {
    font: 1em monospace;
    color: #000;
    border: 1px dotted;
}
.param {
    font: 1em monospace;
    color: #050;
}
.pref {
    font-style: oblique;
    color: #636A24;
}

.red {
    font: bold 1.1em monospace;
    color: #ddd;
    background: #8b0000;
    border-width: 2px 4px 4px 2px;
    border-style: solid solid solid solid;
    border-color: #bb0000 #5b0000 #5b0000 #bb0000;
    padding:  0px 4px 0px 4px;
}
.purple {
    font: bold 1.1em monospace;
    color: #ddd;
    background: #9400d3;
    border-width: 2px 4px 4px 2px;
    border-style: solid solid solid solid;
    border-color: #a400e3 #8400c3 #8400c3 #a400e3;
    padding:  0px 4px 0px 4px;
}

.figure {
    border: 1px solid #560094;
    padding-right: 12px;
    padding-left: 12px;
    padding-top: 12px;
    padding-bottom: 0px;
    margin: 10px;
    align: center;
}

.smfigureright {
    background: #ffffff;
    border: 1px solid #560094;
    padding-right: 12px;
    padding-left: 12px;
    padding-top: 12px;
    padding-bottom: 0px;
    margin: 10px;
    align: center;
    width: 25%;
    float: right;
}
.smfigureleft {
    background: #ffffff;
    border: 1px solid #560094;
    padding-right: 12px;
    padding-left: 12px;
    padding-top: 12px;
    padding-bottom: 0px;
    margin: 10px;
    align: center;
    width: 25%;
    float: left;
}

.navbar {
    background-color: #2E3434;
    float: top;
    width: 100%;
    /* text-align: center; */
    /* font: 0.9em sans-serif; */
    border-top: 0px solid #2E3434;
    border-left: 0px solid #2E3434;
    border-right: 0px solid #2E3434;
    border-bottom: 0px solid #2E3434;
    border-top-left-radius:0;
    border-top-right-radius:0;
    border-bottom-right-radius:8px;
    border-bottom-left-radius:8px;
    padding-top: 0px;
    padding-bottom: 2px;
    padding-left: 10px;
    padding-right: 10px;
    margin-bottom: 10px;
    margin-right: 10px;
    margin-left: -8px;
}
.navhead {
    color: #ffffff;
    font: 16pt bold;
    width: 100%
}

a.navhead:link {
    text-decoration: none;
    color: yellow;
}
a.navhead:visited {
    text-decoration: none;
    color: yellow;
}
a.navhead:hover {
    text-decoration: none;
    color: cyan;
}
.navtable {
    color: #ffffff;
    font: 11pt bold;
    width: 100%;
}
a.navtable:link {
    text-decoration: none;
    color: yellow;
}
a.navtable:visited {
    text-decoration: none;
    color: yellow;
}
a.navtable:hover {
    text-decoration: none;
    color: cyan;
}

.copyright {
    background:#ffffff;
    font: 0.8em sans-serif;
    text-align: right;
    margin-top: 5px;
    margin-bottom: 2px;
}

.topbar {
    /* background: #ffffff; */
    /* color: #000; */
    /* background-color: #2E3434 */
    /* color: #2E3434; */
    float: top;
    width: 78%;
    position: fixed;
    border: none;
    border-top: 0;
    border-left: 0;
    border-right: 0;
    border-bottom: 0;
    margin-top: 0;
    margin-bottom: 0;
    margin-left: 0;
    margin-right: 0;
}

.bottombar {
    background: #ffffff;
    color: #000;
    float: bottom;
    width: 98%;
    border: none;
    border-top: 0;
    border-left: 0;
    border-right: 0;
    border-bottom: 0;
    margin-top: 0;
    margin-bottom: 0;
    margin-left: 0;
    margin-right: 0;
}


.sidebar {
    background: #ffffff;
    color: #000;
    float: right;
    margin-top: 1em;
    margin-bottom: 10;
    margin-left: 80%;
    margin-right: 0;
    clear: right;
    position: fixed;
    width: 19%;
    font: 0.8em sans-serif;
    font-weight: normal;
    border-left: 6px solid #460078;
    border-top: 6px solid #460078;
    border-bottom: 6px solid #460078;
    border-right: 0px;
    border-radius:8px;
    padding-top: 4;
    padding-bottom: 4;
    padding-left: 4;
    padding-right: 4;
}

.contentarea {
    background: #ffffff;
    color: #000;
    width: 80%;
    border: none;
    border-top: 20px solid #ffffff;
    border-left: 0px solid #ffffff;
    border-right: 0px solid #ffffff;
    border-bottom: 0px solid #ffffff;
    margin-top: 0;
    margin-bottom: 0;
    margin-left: 0;
    margin-right: 0;
}

.hide {
    visibility: hidden;
    background: #ffffff;
    color: #ffffff;
    clear: both;
    margin: 0;
}

.bottomdivider {
    color: #460078;
    background-color: #460078;
    height: 2px;
    border: 0;
}

.tinyfloatleft {
    float: left;
    margin: 0 10px 0 0;
    border: 0;
    padding: 2px;
}
.floatright {
    float: right;
    margin: 0 0 10px 10px;
    border: 0;
    padding: 2px;
}
.floatleft {
    float: left;
    margin: 0 10px 10px 0;
    border: 0;
    padding: 2px;
}
