body {
  padding: 0px;
  margin: 1%;
  background-color: #336699;
  color: black;
  font-family: Sans-Serif;
  text-align: justify;
  /*
  a {
  	color:              $link_color_cmd_normal;
  	text-decoration:    none;
  	&:visited { color:  $link_color_cmd_visited;  }
  	&:hover   { 
  		color:  $link_color_cmd_hover;    
  		text-decoration:underline;
  		background-color: lighten($controls_bg,20%);
  	}
  	&:active  { 
  		color:  $link_color_cmd_active;   
  		text-decoration:underline;
  		background-color: lighten($controls_bg,20%);
  	}
  }
  */ }
  body section {
    background-color: #ffcc99;
    color: black;
    padding-top: 0.5%;
    padding-bottom: 0.5%;
    padding-left: 0.5%;
    padding-right: 0.5%;
    margin-top: 0.5%;
    margin-bottom: 0.5%;
    margin-left: 0.5%;
    margin-right: 0.5%; }
    body section pre {
      background-color: #ffe6cc;
      padding: 15px;
      border: 1px dashed black; }
    body section ul {
      padding-left: 1em; }
    body section h1 {
      padding-left: 0.5%;
      padding-right: 0.5%;
      text-align: left;
      font-size: 150%;
      font-weight: bold;
      color: white;
      background-color: #336699; }
    body section h2 {
      padding-left: 0.5%;
      padding-right: 0.5%;
      text-align: left;
      font-size: 130%;
      font-weight: normal;
      color: white;
      background-color: #336699; }
    body section h3 {
      padding-left: 0.5%;
      padding-right: 0.5%;
      text-align: left;
      font-size: 115%;
      font-weight: normal;
      color: white;
      background-color: #336699; }
    body section img.myphoto {
      float: right;
      text-align: right;
      width: 10em; }
    body section #sidebar {
      margin-left: 0.5%;
      margin-right: 0;
      margin-top: 0;
      margin-bottom: 0;
      float: right;
      z-index: 1;
      background-color: #9fbfdf;
      width: 10em;
      border-style: solid;
      border-width: 1px;
      border-color: #336699; }
      body section #sidebar ul {
        list-style-type: none;
        padding-top: 0;
        padding-bottom: 0;
        padding-left: 1em;
        padding-right: 0;
        margin: 0; }
      body section #sidebar p {
        margin: 0; }
      body section #sidebar h3 {
        padding: .1em;
        margin: 0;
        font-weight: bold; }
  body section.level2, body section.level3 {
    padding-top: 0%;
    padding-bottom: 0%;
    padding-left: 0%;
    padding-right: 0%;
    margin-top: 0%;
    margin-bottom: 0%;
    margin-left: 0%;
    margin-right: 0%; }
  body nav#TOC {
    margin-right: 1%;
    margin-left: 0.5%;
    margin-top: 0.5%;
    margin-bottom: 0.5%;
    float: right;
    z-index: 1;
    background-color: #9fbfdf;
    width: 15em;
    border-style: solid;
    border-width: 1px;
    border-color: #336699; }
    body nav#TOC ul {
      list-style-type: none;
      padding-top: 0;
      padding-bottom: 0;
      padding-left: 1em;
      padding-right: 0;
      margin: 0; }
    body nav#TOC p {
      margin: 0; }
    body nav#TOC h3 {
      padding: .1em;
      margin: 0;
      font-weight: bold; }
    @media (max-width: 4in) {
      body nav#TOC {
        float: none;
        width: auto;
        margin: 0;
        padding: 0; }
        body nav#TOC h3 {
          display: none; }
        body nav#TOC ul {
          padding: 0;
          list-style-type: none;
          text-align: center; }
        body nav#TOC li {
          display: inline-block;
          padding: .4em; } }
  body header {
    text-align: left;
    font-family: Sans-Serif;
    background-color: #ffcc99;
    color: black;
    padding-top: 0%;
    padding-bottom: 0%;
    padding-left: 0%;
    padding-right: 0%;
    margin-top: 0.5%;
    margin-bottom: 0.5%;
    margin-left: 0.5%;
    margin-right: 0.5%; }
    body header h1 {
      margin: 2pt;
      font-size: 200%;
      font-weight: bold;
      background-color: #ffcc99;
      color: black; }
      body header h1 a {
        color: black; }
    body header h2 {
      margin: 2pt;
      font-size: 120%;
      font-weight: normal;
      background-color: #ffcc99;
      color: black; }
    body header h3 {
      margin: 2pt;
      font-size: 110%;
      font-weight: normal;
      background-color: #ffcc99;
      color: black; }
  body section#errata {
    background-color: #FF7a7a;
    color: black; }
    body section#errata h1 {
      padding-left: 0.5%;
      padding-right: 0.5%;
      text-align: left;
      font-size: 150%;
      font-weight: bold;
      color: white;
      background-color: #FF0000; }
    body section#errata dt {
      color: white;
      background-color: #FF0000;
      font-weight: bold; }
    body section#errata dl {
      color: black;
      background-color: #FF7a7a; }
  body section#announcements {
    background-color: #24E0FB;
    color: black; }
    body section#announcements h1 {
      padding-left: 0.5%;
      padding-right: 0.5%;
      text-align: left;
      font-size: 150%;
      font-weight: bold;
      color: white;
      background-color: #3973ac; }

body.home_page div.zero_p_space {
  margin: 0;
  padding: 0; }
  body.home_page div.zero_p_space p {
    margin: 0; }
body.home_page ul {
  list-style-type: none;
  padding: 0;
  margin: 0; }

/*
 * print styles
 */
@media print {
  * {
    background-color: white !important;
    background-image: none !important; }

  div.controls {
    display: none; }

  div.greetings {
    display: none; }

  div.footer {
    display: none; }

  div.gradestable table.gradestable th {
    font-weight: bold;
    valign: top; }
  div.gradestable a[href]:after {
    content: none; }
  div.gradestable a img {
    display: none; } }