.description ul {
    padding: 0;
}

.description li {
    padding-bottom:2em;
    list-style: none;
}

body {
    color:#404040;
    margin:0 auto;
    padding:0;
    font: 16px 'Lucida Grande', Geneva, Helvetica, Arial, sans-serif;
    line-height:1.4em;
}

#formula {
    max-height:300px;
    overflow:auto;
}

#wrap {
    color:#404040;
    margin:10px auto;
    padding:0;
    width:970px;
}

#content_tut {
    float:left;
    margin-right:0px;
    padding:0;
    text-align:left;
    width:970px;
    font-family: arial, sans-serif;
}

#header {
    margin:0;
}

#slogan {
    color:gray;
    font-size:1.5em;
    font-weight:700;
    letter-spacing:-1px;
    line-height:1.2em;
    margin:15px 0 20px 35px;
}

#toplinks {
    font-size:0.9em;
    padding:5px 2px 2px 3px;
    text-align:right;
}

#navigate_tut {
    font-size:0.8em;
    margin-bottom:0px;
    padding:5px 5px 5px 5px;
    background-color: #DBDBDB;
}

#navigate_tut_bottom {
    font-size:0.8em;
    margin-top:10px;
    margin-bottom:10px;
    padding:5px 5px 5px 5px;
    background-color: #DBDBDB;
}

#navigate_back {
    float:left;
}

#centered {
    text-align:center;
}

#copy {
    font-size:0.6em;
    float:right;
}


.nav {
    font-weight:700; 
    color:#093DA0;  
}

h1  {
    margin-top: 1em;
    margin-bottom: 25px;
    font: bold 30px 'Lucida Grande', Geneva, Helvetica, Arial, sans-serif;
    color: #000;
}

h2  {
    margin-top: 2.5em;
    font-size: 24px;
    color: #000;
    padding-bottom: 2px; border-bottom: 1px solid #919699;
}

h3  {
    margin-top: 2em;
    margin-bottom: .5em;
    font-size: 17px;
    color: #000;
}

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

a {
    text-decoration: none; 
}

a:link {
    color: #093D92;
    text-decoration: none; 
}

a:link:hover {
    color: #093D92; 
    text-decoration: underline; 
}

a:active {
    color: #093D92;
    text-decoration: none; 
}

div.code {
    border: 1px solid #000000;
    background-color: #F6F6F6;
    margin-left: 0px;
    margin-right: 10px;
    padding-left:5px;
    margin-bottom:10px;
    margin-top:0px;
}

pre {
    font-family:  Monaco, 'Andale Mono', Courier, Consolas, monospace;
    white-space: pre;
    font-size: 14px;
}

div.filename {
    border-top: 1px solid #000000;
    border-left: 1px solid #000000;
    border-right: 1px solid #000000;
    background-color: #D6DDE5;
    margin-left: 0px;
    margin-right: 10px;
    font-family:   Monaco, 'Andale Mono', Courier, Consolas, monospace;
    font-size:14px;
    padding-left:5px;
    padding-top:1px;
    padding-bottom:1px;
    color:#000000;
}

.fade {
    color:#c8c8c8;
}