/******************************************************************************
* styles.css
*******************************************************************************
* Purpose:  CSS stylesheet
* Usage:
* Assumptions:
* Effects:
* Anticipated Changes:
* Notes:
* Implementation Notes:
* Portability Issues:
* Revision History:
*   $Log$
******************************************************************************/

/* Default fonts
 */
body, 
th, 
td,
h1,
h2,
h3 {
        font-family:verdana,arial,helvetica;
        }

/* Body of the entire HTML document.
 */
body {
        background-color:white;
        color:black;
        }

/* Textual hyperlinks that have and haven't been recently visited.
 */
a:link {
        color:#CC3333;
        }
a:visited {
        color:#808080;
        }

/* Headers (H1, H2, H3, etc.)
 */
h1 {
        color:#993300;
        font-size:36pt;
        font-weight:bold;
        }
h2 {
        color:#666699;
        font-size:18pt;
        font-weight:bold;
        }
h3 {
        color:#993300;
        font-size:14pt;
        font-weight:bold;
        }

/* Banner title at the top of the page.
 */
.bannerTitle {
        font-family:verdana,arial,helvetica;
        color:#993300;
        font-size:28pt;
        font-weight:bold;
        }

/* Table of Contents title, and 
 * Details section title
 */
.tocTitle,
.detailsTitle {
        font-family:verdana,arial,helvetica;
        color:#666699;
        font-size:16pt;
        font-weight:bold;
        }

/* Tip titles
 */
.tipTitle {
        font-family:verdana,arial,helvetica;
        color:#993300;
        font-size:12pt;
        font-weight:bold;
        }

/* Copyright notice
 */
.copyright {
        font-family:verdana,arial,helvetica;
        font-size:8pt;
        }

/* Copyright notice
 */
.coding_guideline_name {
        font-family:verdana,arial,helvetica;
        font-weight:bold;
        }

.coding_guideline_body {
        font-family:verdana,arial,helvetica;
        font-weight:normal;
        }

ol
{
        list-style-type: upper-alpha;
        font-size:18pt;
        font-weight:bold;
}
ol ol
{
        list-style-type: decimal;
        font-size:14pt;
        font-weight:bold;
}
ol ol ol
{
        list-style-type: lower-alpha;
        font-size:12pt;
        font-weight:normal;
}
ol ol ol ol
{
        list-style-type: lower-roman;
}
ol ol ol ol ol
{
        list-style-type: decimal;
}
ol ol ol ol ol ol
{
        list-style-type: lower-alpha;
}
ol ol ol ol ol ol ol
{
        list-style-type: lower-roman;
}
ol ol ol ol ol ol ol ol
{
        list-style-type: decimal;
}
ol ol ol ol ol ol ol ol ol
{
        list-style-type: lower-alpha;
}
ol ol ol ol ol ol ol ol ol ol
{
        list-style-type: lower-roman;
}
ol ol ol ol ol ol ol ol ol ol ol
{
        list-style-type: circle;
}
.red
{
        color: #F00;
}