div.margins
{
  margin-left: 5%;
  margin-right: 5%;
}

div.message_right
{
  position:absolute;
  right:2em;
  text-align:right;
  font-size: 90%;
  clear:both;
}

div.message_left
{
  position:absolute;
  left:2em;
  text-align:left;
  font-size: 90%;
  clear:both;
}


math
{
  font-size: 130%;
}

p
{
  margin-left: 5%;
  margin-right: 5%;
}

quote
{
  margin-left: 10%;
  margin-right: 8%;
  color: purple;
}

p.comment
{
  color: green;
}

p.equ
{
  margin-left: 10%;
  margin-right: 10%;
  color: red;
}

p.alg0
{
  margin-left: -10%;
  margin-right: 10%;
  color: red;
}
p.alg1
{
  margin-left: -3%;
  margin-right: 10%;
  color: red;
}
p.alg2
{
  margin-left: 4%;
  margin-right: 10%;
  color: red;
}
p.alg3
{
  margin-left: 11%;
  margin-right: 10%;
  color: red;
}

p.alg4
{
  margin-left: 18%;
  margin-right: 10%;
  color: red;
}

p.alg5
{
  margin-left: 25%;
  margin-right: 10%;
  color: red;
}

.nounderline 
{ 
  text-decoration: none 
}

a
{
  text-decoration: none;
}

a.reflocal
{
  text-decoration: none;
  /*color: rgb(192,192,192); */
  color: rgb(102,102,102); 
}
a.reflocal2
{
  text-decoration: none;
  /* color: rgb(0,0,120); */ 
  color: rgb(155,160,0); 
}
a.reflocal2:hover
{
  color: red;
}

a.reflocal:hover
{
  color: red;
}

html
{
/* background-color: black;
#color: white;
*/
}

body
{
  margin-left: 7%;
  margin-right: 7%;
}

h2,h3,h4,h5,h6 
{ 
  margin-left: -2% 
}

img
{
  border-style: none;
}

.centered, h1, h2 
{ 
  text-align: center; 
}

div.float 
{
  float: left;
}

div.floatp 
{
  float: left;
  padding: 8px 8px; /* Provide padding. */
}

div.newp
{
  clear: both;
  padding: 8px 8px; /* Provide padding. */
}

div.spacer 
{
  clear: both; /* state machine reeds state reset. */
  height: 1em;
}

div.spacer2
{
  clear: both; /* state machine reeds state reset. */
  height: 2em;
}

ul.todo
{
  font-size: 120%
}

div.float35
{
  float: left;
  width: 35em;
}

div.float60
{
  float: left;
  width: 60em;
}

div.float50
{
  float: left;
  width: 50em;
}

div.float30
{
  float: left;
  width: 30em;
}

div.float30p
{
  float: left;
  width: 30em;
  margin: 5em;
}

div.float25
{
  float: left;
  width: 25em;
}

div.float20
{
  float: left;
  width: 20em;
}

div.float15
{
  float: left;
  width: 15em;
}

div.float13
{
  float: left;
  width: 13em;
}

div.float12_5
{
  float: left;
  width: 12.5em;
}

div.float12
{
  float: left;
  width: 12em;
}

div.float10
{
  float: left;
  width: 10em;
}

div.float05
{
  float: left;
  width: 5em;
}

div.float30s
{
  float: left;
  width: 30em;
  margin-left: 10%;
}

div.float25s
{
  float: left;
  width: 25em;
  margin-left: 10%;
}

div.float20s
{
  float: left;
  width: 20em;
  margin-left: 10%;
}

div.float15s
{
  float: left;
  width: 15em;
  margin-left: 10%;
}

div.float10s
{
  float: left;
  width: 10em;
  margin-left: 10%;
}

div.float05s
{
  float: left;
  width: 5em;
  margin-left: 10%;
}


p.code, code, pre.code 
{
  color: red;
  font-family:      "Courier New";
  font-size: 70%;
}

p.message01
{
  margin-left: 10%;
  font-size: 70%;
}

.block {
  background: #E0E0D0;
  border: 1px solid black;
  padding: 7px;
  margin-left: 30px;
  margin-right: 30px;
}