.nop {}

A:link {
          color:        blue;
}

A:visited {

}

BODY {
          margin-top:           24pt;
          margin-left:          4ex;
          margin-right:         4ex;
          background-color:     white;
          background:           white;
          color:                        black;
          font-family:  Optima, sans-serif;
}

TABLE.header {
    text-align: left;
    width: 100%;
    background-color: #ffd771;
    border-top: medium solid black;
    border-bottom: thin solid black;
    padding: 3px;
}


H1 { /* Functions as title */
    padding: 1ex;
    background-color:   #66B6D9; /*#5DB1D5;*/ /*#6AA1B8;*/
    color: black;
    font-size: xx-large;
    font-weight: bold;
    text-align: center;
    margin-top: 0em;
    margin-bottom: 1.5em;
}

H2 {
/*    border-top: medium solid black;*/
    border-top-left-radius: 0.5em;
    border-top-right-radius: 0.5em;
    padding-left: 0.25em;
    border-bottom: thin solid #147098; /*black;*/
    background-color: #ffe299; /*#ffd771;*/
    color: black;
    font-size: x-large;
    font-weight: bold;

}

H3 {
    font-weight: bold;
    font-size: large;
    color: #147098; /*#2581aa;*/
    border-bottom: thin solid #f2b316; /*#ffd771;*/ /*#ffe299;    */
}


H4 {
    font-weight: bold;
    font-size: medium;
    font-style: italic;
    color: #061355;
}

DIV.footer {
    font-size: smaller;
    margin-top: 2em;
    padding-top: 0.5em;
    padding-left: 0.5em;
    border-top: thin groove #d5c222;
}

pre {
    margin-left: 1em;
}

PRE.command {
    background-color: #eeeeff;
    padding: 1em;
    width: 80ch;
}

PRE.prettyprint {
    background-color: #fff0ca;
    width: 80ch;
}

pre.output {
    background: #e9e9e9;
    padding: 0.5em;
    width: 80ch;
}

div.interaction pre {
    margin-top: 0px;
    margin-bottom: 0px;
}

div.interaction pre.command {
    padding: 0.5em;
    font-weight: bold;
}

div.interaction pre.output {
    padding: 0.5em;
    font-style: italic;
}

/*http://ccurtsinger.github.io/itsterminal/css/bootstrap.min.css*/
kbd {
    padding:2px 4px;
    font-size:90%;
    color:#ffffff;
    background-color:#333333;
    border-radius:3px;
    box-shadow:inset 0 -1px 0 rgba(0,0,0,0.25);
}

ul li { margin-top: 0.5em;}
ul { margin-bottom: 1em;}

ol li { margin-top: 1em;}
ol { margin-bottom: 1em;}

ol.withloweralpha {
   list-style-type:  lower-alpha;
}

ol.withupperalpha {
   list-style-type:  upper-alpha;
}

ol.withupperroman {
   list-style-type:  upper-roman;
}

ol.withlowerroman {
   list-style-type:  lower-roman;
}

div.src {
    margin-bottom: -1em;
    padding-left: 1em;
    font-family: Courier,fixed;
}

table.array {
    border: 1px solid black;
    border-collapse: collapse;
}

table.array td {
    border: 1px solid gray;
    padding-left: 1em;
    padding-right: 1em;
}

span.overline {
    text-decoration: overline;
}

dfn { font-weight: bold; } /* default italic; prefer bold to stand out */

dl { margin-left: 1em;}
dl dt { font-weight: bold;}

.float-right {
    align: right;
    float:right;
    margin-left: 1em;
    margin-top: 0.5em;
    margin-bottom: 0.5em;
}


.credit { font-size: xx-small; }