/*
 * Gradients:
 * http://www.colorzilla.com/gradient-editor/ */


.li-itemize{
  margin:1ex 0ex;
  /*    border-left:thin dashed green; */
  padding-left:1ex
}
.li-enumerate{
  margin:1ex 0ex;
  /*   border-left:thin dashed green; */
  padding-left:1ex
}
.dd-description{margin:0ex 0ex 1ex 4ex;}
.dt-description{margin:0ex;}
.thefootnotes{text-align:left;margin:0ex;}
.dt-thefootnotes{margin:0em;}
.dd-thefootnotes{margin:0em 0em 0em 2em;}
.caption{padding-left:2ex; padding-right:2ex; margin-left:auto; margin-right:auto}

.title{
  margin:2ex auto;
  text-align:center;
  -moz-border-radius: 15px;
  border-radius: 15px;
  padding:1ex;
  background:darkgreen;
  border: thick outset darkgreen;
  color: white;
  -moz-box-shadow: 0px 0px 10px #888;
  -webkit-box-shadow: 0px 0px 10px#888;
  box-shadow: 0px 0px 10px #888;
  
  
  background: -moz-linear-gradient(top, #b4ddb4 0%, #83c783 17%, #52b152 33%, #008a00 67%, #005700 83%, #002400 100%); /* firefox */
  background: -o-linear-gradient(top, #b4ddb4 0%, #83c783 17%, #52b152 33%, #008a00 67%, #005700 83%, #002400 100%); /* opera */
  background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,#b4ddb4), color-stop(17%,#83c783), color-stop(33%,#52b152), color-stop(67%,#008a00), color-stop(83%,#005700), color-stop(100%,#002400)); /* webkit */
  filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#b4ddb4', endColorstr='#002400',GradientType=0 ); /* ie */
}

.titlemain{padding:1ex;background:transparent;text-shadow: 2px 2px 2px #000;}
.titlerest{padding:1ex;background:transparent;text-shadow: 2px 2px 2px #000;}

.center{text-align:center;margin-left:auto;margin-right:auto;}
.flushleft{text-align:left;margin-left:0ex;margin-right:auto;}
.flushright{text-align:right;margin-left:auto;margin-right:0ex;}
DIV TABLE{margin-left:inherit;margin-right:inherit;}
PRE{text-align:left;margin-left:0ex;margin-right:auto;}
BLOCKQUOTE{margin-left:4ex;margin-right:4ex;text-align:left;}
TD P{margin:0px;}
.boxed{border:1px solid black}
.textboxed{border:1px solid black}
.vbar{border:none;width:2px;background-color:black;}
.hbar{border:none;height:2px;width:100%;background-color:black;}
.display{border-collapse:separate;border-spacing:2px;width:auto; border:none;}
.dcell{white-space:nowrap;padding:0px;width:auto; border:none;}
.dcenter{margin:0ex auto;}
.marginparleft{float:left; margin-left:0ex; margin-right:1ex;}
.marginparright{float:right; margin-left:1ex; margin-right:0ex;}
.part{margin:2ex auto;text-align:center}
.clisting{font-family:monospace;white-space:pre;
border-left:solid black;padding-left:2ex;margin-left:2ex;}
.delimleft{border-collapse:separate;border-spacing:0px;margin:0px 4px 0px 0px;}
.delimright{border-collapse:separate;border-spacing:0px;margin:0px 0px 0px 4px;}
.bracell{padding:0ex;}
.lstlisting{font-family:monospace;white-space:pre;margin-right:auto;margin-left:0pt;text-align:left}
.mprow{border-collapse:separate;border-spacing:2ex;width:100%;margin:0ex;}
.mprcell{padding:0px;width:auto;}
.subsectionex{padding:1ex;color:navy;border:solid navy;}
.toc1{list-style:none;border-left:1ex solid #4C0D00;padding:0ex 1ex;}
.toc2{list-style:none;border-left:1ex solid #661300;padding:0ex 1ex;}
.toc3{list-style:none;border-left:1ex solid #DB9370;padding:0ex 1ex;}
.toc4{list-style:none;border-left:1ex solid #FF897F;padding:0ex 1ex;}
.xtitle{text-align:center;margin:1ex auto;padding:2ex;color:navy;border:solid navy;}
.xtitlerest{font-variant:small-caps;}
.ruled{border:solid black;padding:1ex;background:#eeddbb;color:maroon}



.part{padding:1ex 2ex;
background:darkgreen;
border: medium outset darkgreen;
color:white;
-moz-border-radius: 15px;
border-radius: 15px;
-moz-box-shadow: 0px 0px 10px #888;
-webkit-box-shadow: 0px 0px 10px#888;
box-shadow: 0px 0px 10px #888;
text-shadow: 2px 2px 2px #000;
background: -moz-linear-gradient(top, #b4ddb4 0%, #83c783 17%, #52b152 33%, #008a00 67%, #005700 83%, #002400 100%); /* firefox */
background: -o-linear-gradient(top, #b4ddb4 0%, #83c783 17%, #52b152 33%, #008a00 67%, #005700 83%, #002400 100%); /* opera */
background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,#b4ddb4), color-stop(17%,#83c783), color-stop(33%,#52b152), color-stop(67%,#008a00), color-stop(83%,#005700), color-stop(100%,#002400)); /* webkit */
filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#b4ddb4', endColorstr='#002400',GradientType=0 ); /* ie */

}
.section{padding:.5ex 2ex;
background:darkgreen;
border: medium outset darkgreen;
color:white;
-moz-border-radius: 15px;
border-radius: 15px;
-moz-box-shadow: 0px 0px 10px #888;
-webkit-box-shadow: 0px 0px 10px#888;
box-shadow: 0px 0px 10px #888;
text-shadow: 2px 2px 2px #000;
background: -moz-linear-gradient(top, #b4ddb4 0%, #83c783 17%, #52b152 33%, #008a00 67%, #005700 83%, #002400 100%); /* firefox */
background: -o-linear-gradient(top, #b4ddb4 0%, #83c783 17%, #52b152 33%, #008a00 67%, #005700 83%, #002400 100%); /* opera */
background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,#b4ddb4), color-stop(17%,#83c783), color-stop(33%,#52b152), color-stop(67%,#008a00), color-stop(83%,#005700), color-stop(100%,#002400)); /* webkit */
filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#b4ddb4', endColorstr='#002400',GradientType=0 ); /* ie */

}
.subsection{padding:0.3ex 2ex;
background:Olive ;
border: medium outset Olive ;
color:white;
-moz-border-radius: 15px;
border-radius: 15px;
-moz-box-shadow: 0px 0px 10px #888;
-webkit-box-shadow: 0px 0px 10px#888;
box-shadow: 0px 0px 10px #888;
text-shadow: 2px 2px 2px #000;
background: -moz-linear-gradient(top, #bfd255 0%, #8eb92a 50%, #72aa00 51%, #9ecb2d 100%); /* firefox */
background: -o-linear-gradient(top, #bfd255 0%, #8eb92a 50%, #72aa00 51%, #9ecb2d 100%); /* opera */
background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,#bfd255), color-stop(50%,#8eb92a), color-stop(51%,#72aa00), color-stop(100%,#9ecb2d)); /* webkit */
filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#bfd255', endColorstr='#9ecb2d',GradientType=0 ); /* ie */
}
.subsubsection{padding:0.5ex 2ex;
background:OliveDrab ;
border: medium outset OliveDrab ;
color:white;
-moz-border-radius: 15px;
border-radius: 15px;
-moz-box-shadow: 0px 0px 10px #888;
-webkit-box-shadow: 0px 0px 10px#888;
box-shadow: 0px 0px 10px #888;
text-shadow: 2px 2px 2px #000;

background: -moz-linear-gradient(top, #b4e391 0%, #61c419 50%, #b4e391 100%); /* firefox */
background: -o-linear-gradient(top, #b4e391 0%, #61c419 50%, #b4e391 100%); /* opera */
background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,#b4e391), color-stop(50%,#61c419), color-stop(100%,#b4e391)); /* webkit */
filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#b4e391', endColorstr='#b4e391',GradientType=0 ); /* ie */
}

.fmarginpar{border:solid thin #66FF66; width:20%; text-align:left;}
.ffootnoterule{border:none;margin:1em auto 1em 0px;width:50%;background:#00CC00;}
.ftoc1{list-style:none;margin:0ex 1ex;padding:0ex 1ex;border-left:1ex solid #00CC00;}
.ftoc2{list-style:none;margin:1ex 1ex;padding:0ex 1ex;border-left:1ex solid #2DE52D;}
.ftoc3{list-style:none;margin:0ex 1ex;padding:0ex 1ex;border-left:1ex solid #66FF66;}

.console{margin:1ex 1ex;padding:1ex 2ex;background:#101010;color: lime;
border: medium ridge green;font-weight:bold;
-moz-border-radius: 15px;
border-radius: 15px;
-moz-box-shadow: 0px 0px 10px #888;
-webkit-box-shadow: 0px 0px 10px#888;
box-shadow: 0px 0px 10px #888;
text-shadow: 2px 2px 2px green;

background: -moz-linear-gradient(top, #959595 0%, #0d0d0d 46%, #010101 50%, #0a0a0a 53%, #4e4e4e 76%, #383838 87%, #1b1b1b 100%); /* firefox */
background: -o-linear-gradient(top, #959595 0%, #0d0d0d 46%, #010101 50%, #0a0a0a 53%, #4e4e4e 76%, #383838 87%, #1b1b1b 100%); /* opera */
background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,#959595), color-stop(46%,#0d0d0d), color-stop(50%,#010101), color-stop(53%,#0a0a0a), color-stop(76%,#4e4e4e), color-stop(87%,#383838), color-stop(100%,#1b1b1b)); /* webkit */
filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#959595', endColorstr='#1b1b1b',GradientType=0 ); /* ie */
}

.verbatim{margin:1ex 1ex;padding:1ex;background:#CCFFCC;border: thin dashed green;}

tt{
  margin:1px;padding-left:1px;padding-right:1px;
  background:#DDFFDD;
  /*   font-weight:bold; */
  font-family: monospace;
  font-size: 0.9em;
}

ttl{
  margin:1px;
  /*   background:#FFEEEE; */
  /*   font-weight:bold; */
  font-family: monospace;
  font-size: 0.9em;
}

.paper{
  margin:1ex 1ex;
  padding:1ex;
  background:lightCyan;
  border: thin dashed DodgerBlue ;
}

.teaching{
  margin:1ex 1ex;
  padding:1ex;
  background: #E6FEE6;
  /*   font-family:sans-serif; */
  border: thin dashed Olive ;
}

img {border:none}

a{
  font-family:sans-serif;
  text-decoration:none;
  /*   font-weight:bold; */
}

a:link{
  color:darkGreen;
}

a:visited {
  color:DarkOliveGreen    ;
}

a:hover {
  color:darkred;
  /*   background:LightSalmon ; */
  
  background: #feccb1; /* Old browsers */
    background: -moz-linear-gradient(top, #feccb1 0%, #f17432 50%, #ea5507 51%, #fb955e 100%); /* FF3.6+ */
    background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,#feccb1), color-stop(50%,#f17432), color-stop(51%,#ea5507), color-stop(100%,#fb955e)); /* Chrome,Safari4+ */
    background: -webkit-linear-gradient(top, #feccb1 0%,#f17432 50%,#ea5507 51%,#fb955e 100%); /* Chrome10+,Safari5.1+ */
    background: -o-linear-gradient(top, #feccb1 0%,#f17432 50%,#ea5507 51%,#fb955e 100%); /* Opera11.10+ */
    background: -ms-linear-gradient(top, #feccb1 0%,#f17432 50%,#ea5507 51%,#fb955e 100%); /* IE10+ */
    filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#feccb1', endColorstr='#fb955e',GradientType=0 ); /* IE6-9 */
    background: linear-gradient(top, #feccb1 0%,#f17432 50%,#ea5507 51%,#fb955e 100%); /* W3C */
    
    /*   border: thin dotted darkred ; */
    border: outset darkred;
    
    font-weight:bold;
    -moz-border-radius: .5em;
    -webkit-border-radius: .5em;
    -o-border-radius: .5em;
    border-radius: .5em;
    padding: 2px;
    text-shadow: 1px 1px 1px black;
}

a:active {
  color:white;
  /*   background:darkred ; */
  
  background: #280808; /* Old browsers */
    background: -moz-linear-gradient(top, #280808 0%, #bf203a 35%, #99070a 56%, #a31010 71%, #5e1110 100%); /* FF3.6+ */
    background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,#280808), color-stop(35%,#bf203a), color-stop(56%,#99070a), color-stop(71%,#a31010), color-stop(100%,#5e1110)); /* Chrome,Safari4+ */
    background: -webkit-linear-gradient(top, #280808 0%,#bf203a 35%,#99070a 56%,#a31010 71%,#5e1110 100%); /* Chrome10+,Safari5.1+ */
    background: -o-linear-gradient(top, #280808 0%,#bf203a 35%,#99070a 56%,#a31010 71%,#5e1110 100%); /* Opera11.10+ */
    background: -ms-linear-gradient(top, #280808 0%,#bf203a 35%,#99070a 56%,#a31010 71%,#5e1110 100%); /* IE10+ */
    filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#280808', endColorstr='#5e1110',GradientType=0 ); /* IE6-9 */
    background: linear-gradient(top, #280808 0%,#bf203a 35%,#99070a 56%,#a31010 71%,#5e1110 100%); /* W3C */
    
    /*   border: thin solid black ; */
    border: inset darkred;
    font-weight:bold;
}




BODY{
  background: white;
  text-rendering: optimizeLegibility;
  text-align:justify;
  font-family: Ubuntu, serif;
  max-width: 95ex;
  margin-left:100px;
  /*   font-family:sans-serif; */
  /*   font-family: Palatino, serif; */
  /*   font-size: large; */
}