body
{
   background: #dddddd;
   font-family: Helvetica, Arial, Verdana, sans-serif; font-size: 10pt;
}

div.nav_sec_box
{
   font-size: 120%;
   font-weight: bold;
   border: 1px outset #000000;
   background-color: #4a60ee;
   color: #ffffff;
   margin: 0px;
   padding: 2px;
}

div.nav_page_box
{
   font-size: 10pt;
   border: 1px outset #000000;
   background-color: #ffffff;
   color: #000000;
   margin: 0px;
   padding: 2px;
}

div.nav_page_box_nohover
{
   font-size: 10pt;
   border: 1px outset #000000;
   background-color: #eeeeee;
   color: #000000;
   margin: 0px;
   padding: 2px;
}

div.nav_page_box:hover
{
   background-color: #eeeeee;
}

div.box
{
   border: 1px solid #000000;
   background-color: #ffffff;
   color: #000000;
   margin: 0px;
   margin-bottom: 30px;
   padding: 0px;
}

div.box_title
{
   background: #4a60ee;
   color: #ffffff;
   border: 0px none #000000;
   margin: 0px;
   padding: 10px;
   padding-top: 5px;
   padding-bottom: 5px;
}

div.box_content
{
   border: 0px solid #000000;
   margin: 0px;
   padding: 10px;
   padding-top: 5px;
   padding-bottom: 5px;
}

div.sidebar
{
   border: 3px ridge #ffffff;
   background: #ffffc0;
   margin: 10px;
   padding: 5px;
}

h1
{
   margin-top: 0;
   margin-bottom: 0;
   font-size: 160%;
   font-weight: bold;
}

h2
{
   margin-top: 0;
   margin-bottom: 0;
   font-size: 140%;
   font-weight: bold;
}

h3
{
   margin-top: 0;
   margin-bottom: 0;
   font-size: 120%;
   font-weight: bold;
}

h4
{
   margin-top: 0;
   margin-bottom: 0;
   font-size: 100%;
   font-weight: bold;
}

code.example
{
   background-color: #eee;
   padding: 5px;
   border: 1px solid #000;
}

a:link
{
   text-decoration: none;
   color: #00f;
}
a:active
{
   text-decoration: none;
   color: #00f;
}
a:visited
{
   text-decoration: none;
   color: #008;
}

a:hover
{
   text-decoration: underline;
   color: #00f;
}