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 div {
    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 div pre {
      background-color: #ffe6cc; }
    body div ul {
      padding-left: 1em; }
  body div.toc {
    float: left;
    width: 20%;
    font-weight: bold; }
    body div.toc a {
      color: black;
      text-decoration: none; }
    body div.toc a:hover {
      text-decoration: underline; }
  body div.body {
    float: right;
    width: 75%; }
    body div.body h1 {
      padding-left: 0.5%;
      padding-right: 0.5%;
      text-align: left;
      font-size: 150%;
      font-weight: bold;
      color: white;
      background-color: #336699; }
    body div.body h2 {
      padding-left: 0.5%;
      padding-right: 0.5%;
      text-align: left;
      font-size: 130%;
      font-weight: normal;
      color: white;
      background-color: #336699; }
    body div.body h3 {
      padding-left: 0.5%;
      padding-right: 0.5%;
      text-align: left;
      font-size: 115%;
      font-weight: normal;
      color: white;
      background-color: #336699; }
    body div.body img.myphoto {
      float: right;
      text-align: right;
      width: 10em; }
    body div.body #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 div.body #sidebar ul {
        list-style-type: none;
        padding-top: 0;
        padding-bottom: 0;
        padding-left: 1em;
        padding-right: 0;
        margin: 0; }
      body div.body #sidebar p {
        margin: 0; }
      body div.body #sidebar h3 {
        padding: .1em;
        margin: 0;
        font-weight: bold; }
  body div.header {
    text-align: left;
    font-family: Sans-Serif; }
    body div.header h1 {
      margin: 2pt;
      font-size: 200%;
      font-weight: bold; }
    body div.header h2 {
      margin: 2pt;
      font-size: 120%;
      font-weight: normal; }
    body div.header h3 {
      margin: 2pt;
      font-size: 110%;
      font-weight: normal; }

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; } }