/*
 * $Id: manual.css,v 1.1.2.19 2005/03/22 17:40:53 newsom Exp $
 * Simple cascading stylesheet for displaying user guide
 */
@import "./common.css";

html body
{ 
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 80%;  
}
/* solve some IE table font-size display bizareness */
table
{ 
  font-size: 100%;
}

h1 /* Part */
{   
  font-size: 130%;  
  text-align: center;
  background-color: #eeeeee;
  border-top: 1px solid #d0d0d0;
  border-bottom: 1px solid #d0d0d0;
  color: #606060;
  padding: 2px;
}
h1.title /* Document */
{   
  font-size: 200%;  
  text-align: center;
  border: 0;
  background-color: #eeeeee;
  border-top: 2px solid black;
  border-bottom: 2px solid black;
  color: black;
}
h2 /* Chapter */
{
  font-size: 130%;  
  border-bottom: 1px solid black;
}
h3 /* Section */
{
  font-size: 140%;  
  border-bottom: 1px solid black;
}
h4 /* Subsection */
{
  font-size: 130%;
  color: #606060;
  clear: both;
}
h5 /* Heading */
{
  font-size: 100%;
  margin-left: 25px;
  border-bottom: 1px solid #606060;
  color: #606060;
  clear: both;
}

/* DEBUG */
/* * {  border: 1px dotted red; } */

