body {
  font-family: Trebuchet MS,Arial, Helvetica, sans-serif;
  margin: 0;
  background-color: rgb(63,118,119);
  text-align: center;
  padding-bottom: 40px;
  }
  
.mug {
  width: 100px;
  float: left;
  margin: 0 10px 10px 0;
  };
p {
  line-height: 135%;
  margin : 0 0 8px;
  }

#header {
  padding: 40px 0 0;
  background-color: rgb(63,118,119);
  width: 760;
  margin: auto;
  }
#menu {
  background-color: #006A6A;
  width: 760;
  margin: auto;
  }
#mainbody {
  background-color: #ffffff;
  -moz-box-sizing:  border-box;
  width: 760;
  margin: auto;
  padding: 8px 10px 10px;
  text-align: left;
  }
#footer {
  background-color: #ffffff;
  width: 760;
  font-size: 75%;
  margin: auto;
  -moz-box-sizing:  border-box;
  border-top: 1px solid #DFD5CA;
  padding: 10px;
  }

  
#cpanel {
  margin: 0 0 10px;
  }
#cpanel td#crumbs {
  font-size: 90%;
  vertical-align: bottom;
  }
#cpanel td#userinfo {
  text-align: right;
  font-size: 60%;
  padding-right: 10px;
  vertical-align: bottom;
  }
#cpanel td#warn {
  font-size: 70%;
  vertical-align: bottom;
  text-align: left;
  color: #FF0000;
  }
#cpanel td#action {
  font-size: 60%;
  padding-right: 10px;
  text-align: right;
  vertical-align: bottom;
  }
#cpanel td#action input,select {
    vertical-align: bottom;
}

.pagehead {
  font-weight: bold;
  font-size: 120%;
  }


#maintbl {
  width: 100%;
  }
#leftcol {
  vertical-align: top;
  padding-right: 40px;
  width: 65%;
  }

#rightcol {
  text-align: right;
  vertical-align: top;
  background-color: #ccccee;
  padding: 0;
  margin: 0;
  }
#rightcol .toploc {
  line-height: 100%;
  background-color: #006A6A;
  color: white;
  font-size: 125%;
  margin: 0;
  padding: 5px 10px 5px;
  }
#rightcol .midloc {
  line-height: 100%;
  background-color: #006A6A;
  color: white;
  font-size: 125%;
  margin: 20px 0 0;
  padding: 5px 10px 5px;
  text-align: right;
  }
#rightcol .course {
  line-height: 100%;
  font-size: 100%;
  font-weight: bold;
  margin: 0;
  padding: 10px 10px 0;
  }
#rightcol .descr {
  line-height: 110%;
  font-size: 80%;
  margin: 0;
  padding: 0 10px 0;
  }
#rightcol .sess {
  line-height: 120%;
  font-size: 80%;
  margin: 0;
  padding: 0 10px 0;
  }


h1 {
  font-weight: bold;
  font-size: 110%;
  font-style: normal;
  margin : 0 0 .25em;
  border-bottom: 5px double;
  }
h2 {
  font-weight: bold;
  font-size: 110%;
  font-style: normal;
  margin : 1.5em 0 .25em;
  border-top: 3px double;
  }
h3 {
  font-weight: bold;
  font-size: 110%;
  margin : 2em 0 1em;
  }
h4 {
  font-weight: bold;
  font-size: 110%;
  margin : 0 0 1em;
  }
h5 {
  font-weight: bold;
  font-size: 130%;
  font-style: normal;
  margin : 0 0 1em;
  }
  
#filt {
  border-top:    1px solid black;
  border-left:   1px solid black;
  border-right:  2px solid black;
  border-bottom: 2px solid black;
  background-color: #ccccff;
  margin-right: 10px;
  }
#filt .col1 {
  padding: 4pt 10pt 4pt;
  }
#filt .col2 {
  padding-right: 10pt;
  font-size: 85%;
  }
.filtsel {
  font-size: 80%;
  width: 250;
  }


form {
  margin: 0;
  }
img {
  border: none;
  }
.paging {
  margin: 0;
  }
.paging select {
  font-size: 90%;
  }
#stdtbl {
  margin-right: 10px;
  border: 1px solid black;
  font-size: 85%;
  }
#stdtbl td {
  padding: 2pt 10pt 2pt;
  vertical-align: top;
  border-bottom: 1px solid black;
  border-right: 1px solid black;
  }
#stdtbl .colhead, #stdtbl th {
  padding: 2pt 10pt 2pt;
  border-bottom: 1px solid black;
  border-right: 1px solid black;
  font-weight: bold;
  background-color: #c0c0c0;
  }
ol {
  line-height: 135%;
  margin : 0 4em 0;
  }
ul {
  line-height: 100%;
  margin : 0 0 .5em 4em;
  font-size: 90%;
  }
a, a:link, a:visited, a:active {
  font-weight: bold;
  color: #006A6A;
  text-decoration: none
  }
a:hover {
  text-decoration: underline;
  }
.b {
  font-family: Trebuchet MS,Arial,Helvetica, sans-serif;
  font-size: 90%;
  }
.lbl {
  font-size: 95%;
  text-align: right;
  vertical-align: top;
  font-weight: bold;
  padding: 2px 10px 0 20px;
  }
.rlbl {
  font-size: 95%;
  text-align: right;
  vertical-align: top;
  font-weight: bold;
  padding: 2px 10px 0 20px;
  text-decoration: underline;
  }
input,textarea {
  font-family: Trebuchet MS,Arial,Helvetica, sans-serif;
  font-size: 90%;
  }
.red {
  color: #FF0000;
  font-weight: bold;
  }