body {
    font-family: "Lucinda Grande", "lucinda Sans Unicode", Lucinda, Arial, Hlevetica, sans-serif;
    font-size: 16px;
    /*color: #333;*/
    background-color: #CCC;
    margin: 0;
}

h1.title {
    background-color: #3665BB;
    color: #FFF;
    padding-left: 15px;
}

img.math-inline{
    vertical-align: middle;
}



h2 {
    color: #021C4D;
    margin-top: 30px;
    margin-bottom: 5px;
}

.h2_content {
    margin-left: 10px;
}

h3 {
    color: #1A3059;
    margin-bottom: 5px;
}

.h3_content {
    margin-left: 10px;
}


a.external {
    color: #D0345E;
}

canvas { 
    border: 1px dotted gray;
}


#container {
    width: 1000px;
    margin-left: auto;
    margin-right: auto;

    position: relative;	
    margin-top: 0px;
}

#header {

    background-color: #3665BB;

    padding-top: 5px;
    padding-bottom: 0px;

    -moz-border-top-left-radius: 10px;
    -webkit-border-top-left-radius: 10px;
    -khtml-border-top-left-radius: 10px;
    border-top-left-radius: 10px;    

    -moz-border-top-right-radius: 10px;
    -webkit-border-top-right-radius: 10px;
    -khtml-border-top-right-radius: 10px;
    border-top-right-radius: 10px;  

    margin-bottom: 0px;

}

.todo {
    background-color: yellow;
}

.breadcrumb{
    background-color: #597CBB; 
    color: white;
    padding-left: 15px;
    height: 30px;
    padding-top: 7px;
    /*padding-bottom: 5px;*/
}

.breadcrumb > a{
    color: white;
    text-decoration: none;
    padding: 2px 4px;
}

.breadcrumb  a.selected {
    color: white;
    text-decoration: none;
    background-color: #1A3059;
    padding: 2px 4px;
}

.breadcrumb  a:hover {
    color: white;
    text-decoration: none;
    background-color: #A1002B;
    padding: 2px 4px;
}

#content {
    margin-top: 0px;
    padding: 20px 15px;
    margin-top: 0px;
    margin-bottom: 10px;
    background-color: white;
    /*
    border-bottom: 1px dotted #656565;
    border-left: 1px dotted #656565;
    border-right: 1px dotted #656565;
    */

    -moz-border-bottom-left-radius: 10px;
    -webkit-border-bottom-left-radius: 10px;
    -khtml-border-bottom-left-radius: 10px;
    border-bottom-left-radius: 10px;    

    -moz-border-bottom-right-radius: 10px;
    -webkit-border-bottom-right-radius: 10px;
    -khtml-border-bottom-right-radius: 10px;
    border-bottom-right-radius: 10px;  

    min-height: 600px;
}

#footer {
    text-align: center;
    font-size: 10px;
    color: #021C4D;
    margin-bottom: 20px;
}

#footer a {
    color: gray;
    text-decoration: none;
}


#toc {
    background-color: #F7F3DB;
    float: right;	
    border: 1px solid #D9C961;
    padding-bottom: 5px;
    margin: 5px 5px 5px 10px;

    -moz-border-bottom-left-radius: 10px;
    -webkit-border-bottom-left-radius: 10px;
    -khtml-border-bottom-left-radius: 10px;
    border-bottom-left-radius: 10px;    

    -moz-border-bottom-right-radius: 10px;
    -webkit-border-bottom-right-radius: 10px;
    -khtml-border-bottom-right-radius: 10px;
    border-bottom-right-radius: 10px;     
}



.toc_title {
    padding: 5px 10px;
    background-color: #D9C961;
    font-size: large;
    font-weight: bold;
    color: #021C4D;
}

#toc a{
    color: #021C4D;
    display: block;
    margin-top: 10px;	
    font-size: 14px;
    /*font-family: monospace;*/
}



.toc_line {
    /*border-bottom: 1px dotted black;*/
    margin-left: 10px;
    color: white;
}

.toc_line_level2 {
    /*border-bottom: 1px dotted black;*/
    margin-left: 30px;
}

.toc_line_level3 {
    /*border-bottom: 1px dotted black;*/
    margin-left: 40px;
}

.img_show{
    margin: 20px auto 20px auto;
    display: block;
}

.code {    

    background-color: #E7EDF8;
    border: 1px dashed #597CBB;
    /*
    background-color: #E9FFD9;
    border: 1px dashed #8CCE5D;
    */
    color: black;
    white-space: pre;
    font-family: monospace;
    font-size: 14px;
    margin: 10px 0px;
    padding-left: 20px;
}

.note{
    background-color: #D0345E;	
    color: white;
    font-weight: bold;
    padding-left: 3px;
    padding-right: 3px;
}

.important {
    color: #D0345E;
    font-weight: bold;
    /*border: 1px dashed #8CCE5D;*/
}