body {
  margin:0px;
  padding:5px;
  padding-left: 10px;
  font-family:verdana, arial, helvetica, sans-serif;
  font-size: 1em;
  color:#000;
  background-color:white;
  border-style: solid;
  border-width: 4px;
  border-color: 44f;
}

span.logotitle { 
  color: #fff;
  font-size: 1.5em;
  text-align: left;
  font-weight: bold;
  width: 6em;
  border-width: 4px;
  padding-left: 5px;
  padding-right: 5px;
  padding-top: 3px;
  padding-bottom: 3px;
  margin-left: 10px;
  margin-right: 10px;
}

div.title {
  background: #55f;
  border-color: #55f #55f #33f #55f;
  border-width: 2px;
  border-style: solid;
}
span.normal {
  background: #88f;
}
span.logotop {
  color: #f88;
  font-weight: bold;
  font-size: 1.2em;
  border-style: none;
}
span.logobottom {
  color: #ff5;
  font-weight: bold;
  font-size: 1.2em;
  border-style: none;
}
span.it {
  background: #aaaaff;
}
span.logoarea { 
  font-size: .6em;
  background-color: #66f
  color: #bbb;
  border-color: #aaf;
  border-width: 0;
  border-style: none;
  white-space: pre;
  font-family: courier;
  width: 40em;
}

div.title { 
  background-color: #99f;
  text-align: center;
  font-style: underline;
#  color: #008;
  font-weight: bold;
  font-size: 1.5em;
  color: #fff;
  padding-top: 5px;
  padding-bottom: 5px;
  padding-left: 5px;
  padding-right: 5px;
}

div.slogan { 
  text-align: center;
  font-weight: italic;
  font-size: .6em;
  color: #008;
}

table.noborder { 
  border-style: none;
}

h1 { 
  background-color: #66f;
  font-size: 1.5em;
  text-align: left;
  font-weight: bold;
  color: #ff0;
  border-color: #66f #66f #000 #66f;
  border-style: solid;
  border-width: 4px;
  padding-left: 5px;
  padding-right: 5px;
  padding-top: 3px;
  padding-bottom: 3px;
  margin-left: 100px;
}

h1.centered { 
  text-align: center;
}

p {
  margin-left: 20px;
}

dl { 
  margin-left: 40px;
}

h2 { 
  background: #99f;
  padding-left: 5px; 
  border-color: #fff #fff #66e #fff;
  border-style: solid;
  border-width: 2px;
  padding-top: 3px;
  margin-top: 40px;
  font-size: 1.3em;
  font-weight: bold;
/*  margin-left: 100px; */
}

h3 { 
  background: #bbe;
  padding-left: 5px;
  border-color: #fff #fff #66e #fff;
  border-style: outset;
  border-width: 2px;
  margin-left: 20px;
  font-size: 1.2em;
}

div.indent, span.indent { 
  margin-left: 20px;
  margin-right: 20px;
  padding-left: 5px;
}

div.center { 
  align: center;
}

div.example,pre { 
  background-color: #ddf;
  border-color: #aaf;
  border-width: 1;
  border-style: solid;
  white-space: pre;
  margin-left: 20px;
}

/* ********************************************************************** */
/* LINKS */
a.toplink:link { 
  color: #000;
  text-decoration:none;
}
a.toplink:visited { 
  color: #000;
  text-decoration:none;
}
a.toplink:hover { 
  width: 100%;
  background: #99f;
  text-decoration:none;
}

a:link { 
  color: #a22;
}

a:visited { 
  color: #d44;
}

/* ********************************************************************** */
/* TABLES */
table { 
  border-color: #aaf;
  border-style: solid;
  border-width: 2px;
  margin-left: 50px;
}

th { 
  background-color: #ccf;
}

table.coverlist td, table.coverlist th { 
  border-color: #fff #99f #fff #99f;
  border-style: solid;
  border-width: 1px;
  padding-left: 4px;
  padding-right: 4px;
}

/* ********************************************************************** */
/* LEFT SIDE */

.leftmenu ul, .leftcol { 
  padding-left: 0px;
  margin-right: 0px;
  padding-right: 0px;
  margin: 1px 1px 1px 1px;
}

.lilinks { 
  color: #000;
  list-style-type: none;
  padding-left: 7px;
  padding-right: 7px;
  background: #ccf;
/*  text-align: center; */
  font-weight: bold;
  font-size: .6em;
  width: 150px;
  border-color: #99f;
  border-width: 2px;
  border-style: outset;
  margin-right: 0px;
  padding-bottom: 3px;
  padding-top: 3px;
}

.lititle { 
  list-style-type: none;
  padding-left: 7px;
  padding-right: 7px;
  margin-right: 0px;
  text-align: center;
  font-weight: bold;
  font-style: underline;
  font-size: 1.2em;
  width: 150px;
  color: #000;
  background: #99f;
  border: outset;
  border-width: 2px;
  margin-top: 15px;
  padding-top: 5px;
  padding-bottom: 5px;
  border-color: #66e #66e #fff #66e;
}

span.leftmenu { 
  width: 18%;
  margin-left: 10px;
  padding-left: 10px;
  padding-right: 0px;
  margin-right: 0px;
  background-color: #ffffff;
  display: inline;
  float: right;
  padding-bottom: 10px;
}