/* cse1020
*/

a
{
  color: blue !important;
  text-decoration: underline !important;
}

td.mi
{ text-align: right;
  padding-right: 1em;
  font-family: monospace;
}
  

td.ma
{ text-align: right;
  width: 20%;
  padding-right: 1em;
}

td.md
{ background: rgb(200,200,200);
  width: 40%;
}

td.mname
{ text-align: center;
  background: rgb(200,200,200);
  width: 40%;
  font-weight: bold;
  font-family: monospace;
}

td.mval
{ text-align: left;
  background: rgb(200,200,200);
  width: 40%;
  font-weight: bold;
  font-family: monospace;
}

td.code
{
  vertical-align: top;
  text-align: left;
  padding: 1em;
  font-family: monospace;
}

td.codec
{
  text-align: center;
  padding-left: 1em;
  padding-right: 1em;
  font-family: monospace;
}

td.scode
{
  vertical-align: top;
  text-align: left;
  font-family: monospace;
}

code
{
  color: rgb(32,32,32);
  font-weight: bolder;
  font-family: monospace;
}

img
{ 
  float: left;
  margin-right: 1em;
}


p.doc {
 font-size: 80%;
 padding-top: 0.2em;
 padding-bottom: 0.2em;
 padding-left: 1em;
 padding-right: 1em;
 border-style: solid;
 border-left-width: 1em;
 border-top-width: thin;
 border-right-width: thin;
 border-bottom-width: thin;
 border-color: #40E0D0;
 color: #000000;
 background-color: #DBFEF8;
}

pre.snippet {
 font-size: 80%;
 font-weight: bold;
 padding-top: 0.2em;
 padding-bottom: 0.2em;
 padding-left: 1em;
 padding-right: 1em;
 border-style: solid;
 border-left-width: 1em;
 border-top-width: thin;
 border-right-width: thin;
 border-bottom-width: thin;
 border-color: #FFAAAA;
 color: #000000;
 background-color: #FFFAFA;
}

pre.pseudo {
 font-size: 80%;
 font-weight: bold;
 padding-top: 0.2em;
 padding-bottom: 0.2em;
 padding-left: 1em;
 padding-right: 1em;
 border-style: solid;
 border-left-width: 1em;
 border-top-width: thin;
 border-right-width: thin;
 border-bottom-width: thin;
 border-color: #000000;
 color: #000000;
 background-color: #EEEEEE;
}

span.green {
  color: rgb(0,192,0);
}

span.red {
  color: rgb(255,0,0);
}

span.orange {
  color: rgb(255,160,0);
}

span.purple {
  color: rgb(160,92,240);
}

span.black {
  color: rgb(0,0,0);
}

span.notcode { 
  font-style: italic;
  font-weight: bold;
  font-family: Verdana, Arial, Helvetica, sans-serif;
}

span.notcodeg { 
  font-style: italic;
  font-weight: bold;
  font-family: Verdana, Arial, Helvetica, sans-serif;
  color: rgb(0,192,0);
}

span.notcoder { 
  font-style: italic;
  font-weight: bold;
  font-family: Verdana, Arial, Helvetica, sans-serif;
  color: rgb(255,0,0);
}

span.notcodep { 
  font-style: italic;
  font-weight: bold;
  font-family: Verdana, Arial, Helvetica, sans-serif;
  color: rgb(160,92,240);
}