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.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 
}

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.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.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%;
}