body {
  background-color: #fffff4;
  color: black;
  margin: 2em 1em 2em 70px;
  margin-left: 5%;
  margin-right: 5%;
  text-align: justify;
  font-family: Verdana, sans-serif;
  padding-top: 2em;
}
h1 {
  font-family: times, arial, Verdana, sans-serif;
  font-weight: bold;
  text-align: center;
  color: #0652ff;
}
h2 {
  font-family: times, arial, Verdana, sans-serif;
  font-weight: normal;
  font-variant: small-caps;
  text-align: center;
  color: #f9f9f9;
  background-color: #99BBFF;
  margin: 3em 0 0 0;
}
h3 {
  font-family: times, arial, Verdana, sans-serif;
  font-weight: bold;
  font-variant: small-caps;
  text-align: center;
  color: #f9f9f9;
  background-color: #99BBFF;
}
h4 {
  font-family: times, arial, Verdana, sans-serif;
  margin: 1em 0 0 0;
  text-align: left;
  color: #3333CC;
}
a:link {
  font-family: sans-serif;
  font-weight: bold;
  color: #0343df;
}
a:visited {
  font-family: sans-serif;
  font-weight: bold;
  color: #0485d1;
}
a:hover {
  background-color: yellow;
}
h3 a:hover {
  background-color: #99BBFF;
  color: #f9f9f9;
}
a:active {
  background-color: blue;
}
.signature {
    padding-top: 6mm;
    font-size: 50%;
    font-family: arial,sans-serif,verdura;
    font-weight: normal;
    text-align: right;
    color: #009966;
}
#header td {
  font-size: 90%;
  font-family: verdana;
  font-weight: bold;
  text-align: center;
  padding: 0.1mm;
  color: #6666cc;
  background-color: lightblue;
}
#header a:link {
  vertical-align: baseline;
  color: blue;
  text-decoration: none;
}
#header a:visited {
  color: blue;
  text-decoration: none;
}


ul.abstract li { list-style-image: url(/u/mathas/images/red_arrow.gif) }
ul.abstract li:hover { list-style-image: url(/u/mathas/images/right31.gif); }
li:hover { background-color: #FFFFCC; }
a:active {
  background-color: blue;
}
ul.abstract li { list-style-image: url(red_arrow.gif) }

ul.abstract li a {
  text-decoration:none;
  font-weight:800;
}
ul.abstract li a span{
  display:none;
  text-decoration:none;
  text-align:justify;
  background-color:#ffffd4;
  z-index:10;
  padding:6px;
  margin: 10px 6px 10px 6px; 
  border:4px solid #009966;
  font-weight:normal;
  font-size:.85em;
  width: 70%;
}
html>body ul.abstract li a span{
  position:absolute;
}
ul.abstract li a:hover {
  color:#0A00B0;
}
ul.abstract li a:hover span{
  display:block;
}
#main {
  width:80%;
  background: white;
  padding-top:0.7em; 
  width:80%; 
  margin:0 auto;
  margin-top: 1.5em;
}

#navigation {
  text-align:center;
  z-index:9999;
  margin: 0 auto; left:0px; right:0px;
  position: fixed;
  width:90%;
  top: -1ex;
  background: #fffff4;
  height: 6.5em;
  padding: 0;
}

#navigation ul{
  display: block; 
  text-align:center; 
  line-height: 1.4;
  list-style:none;
  width: 100%;
  padding: 0;
}
#navigation li{
  display: inline-block;
  border-radius:13px;
  padding: 0.2em 2em 0.2em 2em;
  background: #99BBFF;
}
/* This imageless css button was generated by CSSButtonGenerator.com */
#navigation h1 {
  display:block;
  padding:0;
  margin:0;
  font-variant: small-caps;
  text-align:center;
  font-family: "Arial Rounded MT", "Helvetica Rounded", Arial, sans-serif;
}
#navigation h2{
  margin-top:0;
}
#navigation h3{
  margin-top:0;
}
#navigation h4{
  margin-top:0;
  text-align:center;
}
#navigation a {
  background:-moz-linear-gradient( center top, #f9f9f9 5%, #e9e9e9 100% );
  background-color:#f9f9f9;
  border-radius:5px;
  border:2px solid #dcdcdc;
  display:inline-block;
  color:#666666;
  font-family:Georgia;
  font-size:70%;
  font-weight:bold;
  padding:1px 4px;
  text-decoration:none;
  text-shadow:1px 0px 0px #ffffff;
  text-decoration: none;
  float:left;
}
#navigation a:hover {
    background:-moz-linear-gradient( center top, #e9e9e9 5%, #f9f9f9 100% );
}
#navigation a:active {
    position:relative;
    top:1px;
}
#navigation li:hover {
  background: #40a368;
}
/* styled lists following 
 * http://www.456bereastreet.com/archive/201105/styling_ordered_list_numbers/
 */
dl.styled {
    counter-reset:a-counter; /* Initiate a counter */
    margin-left:0em; /* Remove the default left margin */
    padding-left:0; /* Remove the default left padding */
    background:#ffffd4;
}
dl.styled > dt {
    position:relative; /* Create a positioning context */
    margin:0 0em 0px 2em; /* Give each dt item a left margin to make room for the numbers */
    padding:4px 8px; /* Add some spacing around the content */
    list-style:none; /* Disable the normal item numbering */
    border-top:2px solid #00008B;
    background:#fbeeac;
    color:#0652ff;
    font-family: "Arial Rounded MT Bold", "Helvetica Rounded", Arial, sans-serif;
}
dl.styled > dt:before {
    content:counters(a-counter, ".") " "; /* Use the counter as content */
    counter-increment:a-counter; /* Increment the counter by 1 */
    /* Position and style the number */
    position:absolute;
    top:-2px;
    left:-2em;
    -moz-box-sizing:border-box;
    -webkit-box-sizing:border-box;
    box-sizing:border-box;
    width:2em;
    /* Some space between the number and the content in browsers that support
       generated content but not positioning it (Camino 2 is one example) */
    margin-right:8px;
    padding:4px;
    border-top:2px solid #104E8B;
    color:#fff;
    background:#104E8B;
    font-weight:bold;
    font-family:"Helvetica Neue", Arial, sans-serif;
    text-align:center;
}
dl.styled > dt.pending {
  color: gray;
}
dl.styled > dd {
    background:#ffffd4;
    margin-bottom: 1em;
}

dt dl {margin-top:6px;}
dl dl dt:last-child {margin-bottom:0;}

dl.styled dd>ol {
  counter-reset:li; /* Initiate a counter */
  margin-left:0; /* Remove the default left margin */
  padding-left:0; 
}
dl.styled dd>ol li {
  position:relative; /* Create a positioning context */
  margin:0 0 0 1.5em; /* Give each list item a left margin to make room for the numbers */
  padding:0px 2em; /* Add some spacing around the content */
  list-style:none; /* Disable the normal item numbering */
}
dl.styled dd>ol li:before {
  counter-increment:li; /* Increment the counter by 1 */
  content:counter(a-counter) "." counter(li) " "; /* Use the counter as content */
  /* Position and style the number */
  position:absolute;
  margin:0;
  padding:0;
  left:-3.3em;
}

dl.styled dd>ol li.pending{
  color: gray;
}
dl.styled dd ol li span{
  float:right;
  padding-right:1em;
}

dl.styled dd > span {
  display: block;
  float:right;
  color: #2e5a88;
}
dl.styled li:hover {
  background-color:   #f9e79f;
}