* {
 padding: 0px;
 margin: 0px;
}

body {
 background: #fff;
 color: #000;
 line-height: 1.2em;
 padding: 10px;
}

img {
 border: none;
}

a:link    { color: #07a; }
a:hover   { color: #0f7; }
a:visited { color: #07a; }
a:active  { color: #07a; }

h1 {
 font-size: x-larger;
 color: #66a;
 background: #f0f8ff;
 border-style: solid;
 border-color: #ddf;
 border-width: 0px 20px;
 margin: 5px;
 padding: 10px 15px;

 border-right: none;
 margin-right: 0px;
}

h2,h3,h4,h5,h6 {
 margin: 10px 0px 1px 5px;
 padding: 3px 15px;
 border-style: solid;

 border-right: none;
 margin-right: 0px;
}

h2 {
 color: #006;
 font-size: larger;
 background: #ddf;
 font-weight: bold;
 border-color: #669;
 border-width: 1px 1px 1px 5px;
}

h3 {
 color: #006;
 background: #eef;
 border-color: #669;
 border-width: 1px 1px 1px 4px;
}

h4 {
 color: #006;
 background: #f2f2ff;
 border-color: #669;
 border-width: 1px 1px 1px 3px;
}

div {
 margin: 0px 5px 5px 5px;
 padding: 5px;
}

.frame {
 border-style: solid;
 border-color: #669;
 border-width: 0px 0px 1px 1px;
 padding: 10px 0 10px 10px;

 border-right: none;
 margin-right: 0px;
}

.index {
 background: #f0f0f0;
 border-color: #ddf;
 border-width: 1px;
 margin: 5px;
 padding: 2px 10px;

 border-right: none;
 margin-right: 0px;}

dt { margin-top: 0.5em; }
dd { margin-left: 1.5em; }

p { text-indent: 1em; }
p.noindent { text-indent: 0em; }
pre {
 border: solid 1px gray;
 background-color: #eee;
 color: #000;
 padding: 5px;
 margin: 0px 10px;
}

ul li { margin-left: 1em; }
ol li { margin-left: 1.5em; }

table { magin: 0px auto; }
.table { magin: 0px auto; }

.equation { text-align: center; }
.comment { color: #0a0; }
.value { font-style: italic; color:#a52; }

.right { float: right; }
.left { float: left; }
.clear { clear: both; height: 0; margin:0; visibility: hidden; }