.header_lab_sheet {
  width:100%;
  padding:8px;
  margin-left:0%;
  line-height:150%;
  border:2px solid gray;
  background-color:#eeeeff;
  page-break-inside:auto
}

.header_exercise {
  width:100%;
  padding:8px;
  margin-left:0%;
  line-height:150%;
  page-break-inside:auto
}



.ljust     { text-align:left }
.cjust     { text-align:center }
.rjust     { text-align:right}
.full_width{ width:100%}
.half_width{ width:50%}

div.indent    { margin-left:5% }
div.definition{ text-align:center;
                padding:8px;
                border-width:1px;
                border-style:solid;
                background-color:#eef4ee }
div.display   { background-color:#eeeeff;
                border-width:1px;
                border-style:solid;
                padding:8px
              }
div.display1  { background-color:#aad0aa;
                border-width:1px;
                border-style:solid;
                padding:8px
              }
div.display2  { background-color:#bbccee;
                border-width:1px;
                border-style:solid;
                padding:8px
              }
div.display3  { background-color:#ffeeff;
                border-width:1px;
                border-style:solid;
                padding:8px
              }
div.display4  { background-color:#eeeeff;
                border-width:1px;
                border-style:solid;
                padding:8px
              }
div.display5  { background-color:#99aa99;
                border-width:1px;
                border-style:solid;
                padding:8px
              }
div.display6  { background-color:#99bb88;
                border-width:1px;
                border-style:solid;
                padding:8px
              }
div.bookwork  { background-color:#ffffee;
                border-width:1px;
                border-style:solid;
                padding:8px
              }
div.mainwork  { background-color:#ddddff;
                border-width:1px;
                border-style:solid;
                padding:8px
              }
div.suppwork  { background-color:#eeffee;
                border-width:1px;
                border-style:solid;
                padding:8px
              }
div.highlight { color:darkblue }
div.highlight1{ color:maroon }
div.highlight2{ color:maroon; font-weight:bold}
div.highlight3{ font-weight:bold}
div.highlight5{ background-color:#330000;
                border-width:1px;
                border-style:solid;
                color:#eeeeff;
                font-weight:normal; 
              }
div.newpage   { page-break-after:always }

td            { height:100% }

body          { background-color:snow;
                font-family:"Arial Unicode MS";
                margin-left:5%;
                width:90%
              }
code          { color:darkblue; font-size:larger }
pre           { color:black; font-weight:normal; font-family:"Courier New"}
pre.cmd       { color:maroon; font-weight:bold; font-family:"Courier New"}
pre.code      { color:darkblue; font-weight:normal; font-family:"Courier New"}
p             { color:black }
li            { margin-bottom:8px }
h1            { text-align:left; color:darkblue;  page-break-after:auto    }
h2            { text-align:left; color:darkgreen; page-break-before:always }
h3            { text-align:left; color:darkblue;  page-break-after:avoid   }
h4            { text-align:left; color:purple;    page-break-after:avoid   }
sub           { font-size:75% }

table.TT      { text-align:center;
                padding:8px;
                border-width:1px;
                border-style:solid;
              }

/* Following items adapted from Ian Vlaeminke's CSCI1401 CSS */
.space        { white-space: pre;}

P.cite        { margin-left: 10%;
                margin-right: 10%;
                font-weight: bold;
              }

EM.code       { color: darkblue;
                font-family:"Courier New";
                font-weight: bold;
                font-style: normal;
              }
              
EM.filename   { color: maroon;
                font-family:"Courier New";
                font-weight: bold;
                font-style: italic;
              }
              
EM.highlight  { color: maroon;
                font-weight: bold;
                font-style: italic;
              }
EM.highlight1 { color: maroon;
                font-weight: normal;
                font-style: italic;
              }
EM.highlight2 { color: darkblue;
                font-weight: normal;
                font-style: italic;
              }
              
EM.fix        { font-family:"Courier New";
                font-style: normal;
              } 
/* EM.code {color: blue; font-family: monospace;  font-style: normal;} */

UL            { list-style-type: square;      }
OL            { list-style-type: decimal;     }
OL OL         { list-style-type: lower-alpha; }
OL.noLabel    { list-style-type: square;      }