/* Overall style from robot-manual.css */

BODY
{
  width: 1280px;
  font-size: 12pt;
  color: black;
  background-color: #f0f0e0;
  /* #f0f0e0 = warm gray  #b0e0ff = light blue;  #ffdcb9 = buff */
  padding: 20px;
}

A:link {color: #0000cc;}
A:visited {color: #0000cc;}
A:active {color: #0088ff;}

A:link.external {color: #44aa44;}
A:visited.external {color: #44aa44;}
A:active.external {color: #44ff44;}

H1 {font-family: serif; color: #000080;}
H2 {font-family: serif; color: #660000;}
H3 {font-family: serif; color: #660000;}
H4 {font-family: serif; color: #660000;}
H5 {font-family: serif; color: #660000;}
H6 {font-family: serif; color: #660000;}

P {max-width: 80ex;}
P.floatright {float: right; margin: 20px; text-align: center;}
P.floatleft {float: left; margin: 20px; text-align: center;}
P.centered {text-align: center;}
P#copyright { width: 800px; margin-left: auto; margin-right: auto; }

DIV.centered-block {text-align: center;}
DIV.floatright {float: right; margin: 20px; text-align: center; max-width: 800px;}

UL.narrow{width: 384px;}
LI {margin: 16px 0px 16px 0px; max-width: 80ex;}

PRE {color: #202080;}

EM {color: #602020;}
STRONG {color: #602020;}
DFN {color: #602020;}
VAR {color: #602020;}

SAMP {color: #202080}
TT {color: #202080;}
CODE {color: #202080; white-space: pre;}

rw {font-style: italic; color: #602020;}
eqn {font-style: italic; color: 202080;}


