.right { text-align : right; }
.left  { text-align : left; }
.center { text-align : center; }  
.right-float { float : right; }
.left-float { float : left; }

.float-figure {
  float : right;
  text-align : center;
  font-weight : bold;
}

.figure {
 text-align : center;
 font-weight : bold;
}

p.math {
 margin-left : 2em;
}

.pp {
   background-color : transparent;
   text-align : center;
   font-family :  "Helvetica" sans-serif;
   border-color : black;
   border-style : none;
   border-width : 0px;
   margin-right : 2em;
}
ul.pp2 { text-align : left; }
body {
    margin-left: 2%;
    margin-right: 2%;
    background-color : #f0f0f0;
    color : black;
    line-height: 130%;
    font-family : serif;
}
h1 {
    font-family: sans-serif;
    font-size : 170%;
    border-color: #990000 #660000 #660000 #990000;
    margin-right: 0;
    border-style: solid;
    border-width: 3px 3px 4px 4px;
    padding : 3px;
    line-height : 130%;
}
h2 {
    font-family: sans-serif;
    font-size : 140%;
    border-color: #cc0000 #990000 #990000 #cc0000;
    color : black;
    border-style: solid;
    border-width: 2px 2px 3px 3px;
    padding : 2px;
    margin-right : 10px;
    line-height : 130%;
}
h3 {
    color : black;
    font-family: sans-serif;
    font-size : 120%;
    border-color: #ff3333 #ff0000;
    border-width: 1px 1px 2px 2px;
    border-style: solid;
    margin-right: 10px;
    padding : 3px;
    line-height : 130%;
}
h4 {
    color : black;
    font-size : 110%;
    font-family:  sans-serif;
    border-color: #f08080;
    border-width: 1px;
    border-style: solid;
    margin-right: 20%;
    margin-top : 0.2em;
    margin-bottom : 0.1em;
    line-height : 130%;
}
h5,h6 {
    color : black;
    font-size : 100%;
    font-family:  sans-serif;
    margin-right: 20%;
    margin-top : 0.2em;
    margin-bottom : 0.1em;
    line-height : 130%;
}
blockquote {
    background-color : #e0e0e0;
    border-style : solid;
    border-width : 1px;
    border-color : white gray gray white;
}

p.sample {
    margin  : 1em;
    color : #000040;
    background-color : #e0e0e0;
    font-family : monospace;
    padding : 0.2em;
    border-style : solid;
    border-width : 1px;
    border-color : white gray gray white;
}

ul { margin-top: 0.3em; margin-bottom: 0.5em; }
li { margin-bottom: 0.3em; }
dl { margin-top: 0.3em; margin-bottom: 0.5em; }
dt {
    font-weight: bold;
    margin-top: 0.5em;
    margin-bottom: 0em;	
    font-family: sans-serif;
    color : #600000;
}
dd { font-weight: normal; margin-top : 0em; margin-bottom : 0.5em;}

em  { color : #990000;  background-color : transparent; }
strong { 
   color : #660000; 
   background-color : transparent;
   font-family :  sans-serif;
   font-weight  : bold;
}
samp   { color : #000080; background-color : transparent; }

blockquote {
    margin-left : 3em;
    color : #000033;
    background-color : #e0e0e0;
    font-family : monospace;
    font-size : smaller;
    padding : 0.2em;
}

p {
  line-height: 1.3em; 
  margin-top : 0em;
  margin-bottom : 0.5em;
}
dd > p { margin-top : 0em };

p.emphasis { 
  font-weight :	bold; 
  font-size : large;
  font-family : sans-serif;
  line-height : 170%;
  color : #800000;
}

caption {
 font-weight: bold;
 margin-top: 0.3em;
 text-align : center;
}

caption.figure {
 caption-side : bottom;
 font-weight: bold;
 margin-top: 0.3em;
 text-align : center;
}

table {
  border-color : black;
  border-style : solid;
  border-width : 2px;
}


td {
   border-color : black;
   border-style : dotted;
   border-width : 1px;
}
th {
   border-color : black;
   border-style : solid;
   border-width : 1px;
   text-align : left;
}

table.float {
  margin : 0.3em;
  float : right;
}

th.numeric, td.numeric { text-align : right; }

table.index {  border-color : black;  border-style : none; }
tr.index { border-style : none;}
td.index { border-style : none;}
th.index { text-align : right;  border-style : none;}

pre {
    margin  : 1em 3em;
    padding : 0.2em;
    color : #000040;
    background-color : #e0e0e0;
    border-color : white gray gray white;
    border-style : solid;
    border-width : 1px;
    font-family : monospace;
}