/*
 * This div contains everything on the page; its purpose is to 
 * center everything so that it's all contained within the white
 * part of the background image (shadow.gif above).
 */
div#content-wrap 
{
    position:relative;
    width: 778px;
    margin: 0 auto;
    top:10px;
}

.contents .topic-title {
    font-size: 14pt;
}

li p.first {
    margin-bottom: 0px;
    margin-top: 10px;
}

li p.first + p {
    margin-top: 6px;
    margin-bottom: 0px;
}

/*
 * This div contains the right-aligned Resolver Systems logo at the top.
 */
div#resolver-header {
    display: block;
    float: right;
    clear: both;
    margin-right: 35px;
    margin-bottom: 30px;
    margin-top: 20px;
}

div#header img
{
    border: 0px;
    padding: 0px;
}


/*
 * This div contains everything below the header. This currently includes the
 * menu at the top.  Its purpose is to indent everything a bit to leave a nice
 * white margin down the sides of the page.
 */
div#content{
    padding-left: 40px;
    padding-right: 40px;
    padding-top: 0px;
    padding-bottom: 20px;
    font-size: 11pt;
}

/* 
 * As you'd expect, this is the div for the copyright stuff at the bottom of the page.
 */
div#footer{
    color:#000000;
    font-size:11px;
    padding-top:3px;
    padding-left:20px;
    clear: both;
    text-align: center;
    
}


a 
{
    color:#e88d51;
    text-decoration:underline;
}

a:hover 
{
    text-decoration:underline;
}

pre 
{
    padding: 1em;
    border: 1px dashed #2f6fab;
    color: Black;
    background-color: #f9f9f9;
    line-height: 1.1em;
}

h1 
{
    padding: 0 0 0 0;
    background: none;
    font-family: Arial, Helvetica, sans-serif;
    font-size: 18pt;
    font-weight:normal;
    clear: both;
}


h2
{
    margin: 0 auto;
    padding-top: 10px;
    padding-bottom: 10px;
    font-family: Arial, Helvetica, sans-serif;
    font-size: 14pt;
    font-weight: normal;
    clear: both;
}           

p.address 
{
    padding-left: 1.5em;
}

body
{
    margin-top: 0px;
    font-family: Arial, Helvetica, sans-serif;
    background-color: #DDDDDD;
    background-image: url('../images/background.gif');
    background-repeat: repeat-y;
    background-position: center;    
}

dt
{
    font-weight: 900;
}