.links
{
        margin: 0px;
        padding:        6px;
        border: 0px inset #000000;
        max-width: 90%;
        background:     white;
}
 
  

td
{
        font-family: helvetic, helvetica, arial;
        font-size: 13px;
}
                                                                                                                                
                                                                                                                                
/* overall styles */
body
        {
                font:                   11pt sans-serif;
                margin-top:             0.5em;
                margin-bottom:          0.5em;
                margin-left:            2;
                margin-right:           0;
                color:                  black;
                line-height:            1.7em;
        }


/* this is the indenting procedure for categories */
warn
        {
                border:                 1px solid #000000;
                padding-bottom:         1;
                padding-top:            1;
                padding-right:          20;
                padding-left:           20;
                margin-left:            1px;
                margin-top:             5em;
                margin-bottom:          2px;
                background:             #EE7777;
                font-size:              100%;
                font-weight:            normal;                                                                                                                                
        }

/* this is the alert/warning flag */
strong
        {
                border:                 1px solid #000000;
                padding-bottom:         1;
                padding-top:            1;
                padding-right:          20;
                padding-left:           20;
                margin-left:            1px;
                margin-top:             5em;
                margin-bottom:          2px;
                background:             #EE7777;
                font-size:              100%;
                font-weight:            normal;                                                                                                                                
        }


/* this is the indenting procedure for categories */
kbd
        {
                border-left:            1px dotted #000000;
                padding-bottom:         2;
                padding-top:            0;
                padding-right:          20;
                padding-left:           20;
                margin-left:            20px;
                margin-right:           100px;
                margin-top:             3em;
                margin-bottom:          -1px;
                background:             #EEEEEE;
		font-size:		90%;
		font-family:		courier;
		text-align: 		justify;
        }



h5
        {
                border-left:            1px dotted #000000;
                padding-bottom:         2;
                padding-top:            0;
                padding-right:          20;
                padding-left:           20;
                margin-left:            20px;
                margin-right:           100px;
/*                margin-top:             3em; */
                margin-bottom:          -1px;
                background:             #E8E8E8;
		font-size:		90%;
		font-family:		courier;
		text-align: 		justify;
                font-weight:        normal;
        }
                                                                              
h6
        {
/*                border-left:            1px dotted #000000;
                padding-bottom:         2;
                padding-top:            0;
                padding-right:          20;
                padding-left:           20;
                margin-left:            20px;
                margin-right:           100px; */
/*                margin-top:             3em; */
/*                margin-bottom:          -1px; */
                background:             #ffffff;
                color:                  green;
		font-size:		90%;
		font-family:		courier;
		text-align: 		justify;
		 font-style: italic;
                font-weight:        bold;
        }

/* this is the indenting procedure for major categories */
h1
        {
                border-left: 2px solid #225522;
                border-top: 2px solid #225522;
//                margin-left:            0;
//                margin-right:           0;
		width=100%;
                padding-left:  5;
                padding-right:  20;
                background:     #f0f5f0;
                text-align: justify;
                font-size: 120%;
        }

/* this is for category headings */
h2
        {
                border:                 1px dotted #000000;
                border-top:             1px dotted #000000;
                border-right:           1px dotted #000000;
                padding-bottom:         2;
                padding-top:            0;
                padding-right:          20;
                padding-left:           20;
                margin-left:            0px;
                margin-top:             3em;
                margin-bottom:          -1px;
                background:             #335522;
                font-size:              120%;
		color:                  #FFFFFF;
                font-weight:            normal; 
        }


/* various link styles */
a
        {
                margin-right:           0;
                text-decoration:        none;
                border-bottom:          1px solid gray;
                white-space:            nowrap;
        }
                                                                                                                                
a:link
        {
                color:                  black;
        }
                                                                                                                                
a:visited
        {
                color:                  black;
                border-bottom:          1px solid gray;
        }
                                                                                                                                
a:active
        {
                color:                  yellow;
        }
                                                                                                                                
a:hover
        {
                color:                  blue;
                border-bottom:          1px solid black;
        }
                                                                                                                                
/* links in category headings have a different class */
a.heading
        {
                border-bottom:          0px;
                background:             #ffffff
        }
a.heading:link
        {
                color:                  black;
        }
a.heading:visited
        {
                color:                  black;
        }
a.heading:hover
        {
                color:                  green;
                background:             white;
        }
                                                                                                                                
img.logo
        {
                margin-top:             1em;
                margin-left:    10px;
                border:         12px;
                float:          right;
        }
                                                                                                                                
img
        {
                border:                 20;
        }
                                                                                                                                
input
        {
                margin-top:             6;
                margin-bottom:          -8;
                margin-left:            3;
                margin-right:           3;
                padding-left:           2;
        }
                                                                                                                                
input[type="image"]
        {
                border:                 0
        }
                                                                                                                                
input[type="submit"]
        {
                background:              #eae8e3;
        }