/* general */

body {
    margin: 0px 0px 0px 0px;
    padding: 0px 0px 0px 0px;
}

/* trick pour le tag de neodomaine */
div {
    position:fixed;
    right:0px;
    top:0px;
}

/* header */

div#header {
    position:fixed;
    left:0px;
    top:0px;
    width:100%;
    height:70px;
    border-bottom: 2px solid #008000;
    background:#d0ffd0 url(/images/mamba_logo.png) no-repeat left top;
}

/* menu */

div#menu {
    position:fixed;
    left:0px;
    top:72px;
    margin: 0px;
    padding: 0px;
    width:100%;
    border-bottom: 2px solid #1E3F5C;
    background:#eaeaff;
}

div#menu ul {
    margin: 0px;
    padding: 0px;
}

div#menu ul li {
    float:left;
    margin: 0px;
    padding: 0px;
    display:inline;
    list-style-type:none;
}

div#menu ul li a {
    display:block;
    width:130px;
    margin: 0px;
    padding: 2px;
    text-align:center;
    text-decoration:none;
    font-size:14px;
    color:#1E3F5C;
    background:#eaeaff; /*important*/
}
div#menu ul li a:hover {
    color:#FFFFFF;
    background-color:#1E3F5C;
}

/* main  */

div#main {
    position: relative;
    left:0px;
    top:100px;
    margin: 0px 0px 0px 25px;
    width:800px;
}

div#main h1 {
    font-size: 16px;
    font-weight: bold;
    color: #008000;
    border-bottom: 2px solid #DADBDC;
    margin: 25px 0px 2px 0px;
}

div#main a {
    text-decoration:none;
}

div#main p.date {
    margin: 0px;
    padding: 0px;
    font-size: 12px;
    color: #808080;
    text-align: right;
}

div#main span.mamba {
    color:#00a000;
    font-weight: bold;
}

div#main p img.example {
    border:none;
    text-align: center;
}

div#main h1 a img {
    width:16px;
    height:12px;
    border:0px;
    text-align:right;
}

div#main ul li.old_dl{
    color: #808080;
}

div#main ul li.old_dl a{
    text-decoration:none;
    color: #808080;
}

/* examples list */

div#exlist {
    position:fixed;
    left:0px;
    top:70px;
    padding: 30px 0px 0px 0px;
    width:160px;
    height:100%;
    border-right: 1px solid #babbbc;
    background:#ffffff;
}
div#exlist ul.examples{
    padding: 10px 0px 5px 0px;
    margin: 0px;
}
div#exlist ul li{
    padding: 0px;
    margin: 0px;
    list-style-type:none;
}
div#exlist ul li a {
    display:block;
    width:150px;
    margin:0px;
    padding:2px 5px 2px 5px;
    color:#008000;
    text-decoration:none;
    background-color:#ffffff; /*important*/
}
div#exlist ul li a:hover {
    color:#FFFFFF;
    background-color:#008000;
}

/* example main display zone */
div#exmain {
    position:absolute;
    left:150px;
    top:100px;
    margin: 0px 0px 0px 25px;
    width:800px;
}

div#exmain div#exinfo {
    position:relative;
}

div#exmain div.example {
    position:relative;
}

div#exmain h1 {
    font-size: 16px;
    font-weight: bold;
    color: #008000;
    border-bottom: 2px solid #DADBDC;
    margin: 25px 0px 2px 0px;
}

div#exmain a {
    text-decoration:none;
}

div#exmain p.date {
    margin: 0px;
    padding: 0px;
    font-size: 12px;
    color: #808080;
    text-align: right;
}

div#exmain span.mamba {
    color:#00a000;
    font-weight: bold;
}

div#exmain p img.example {
    border:none;
    text-align: center;
}

div#exmain h1 a img {
    float:right;
    width:16px;
    height:12px;
    border:0px;
    text-align:right;
}

/* python syntax alighting */

div#exmain div.python {
    position:relative;
    padding: 0px 2px 0px 2px;
    margin: 2px 25px 2px 25px;
    background:#ffffb0;
    border: 1px solid #000000;
    font-size: 12px;
    font-family: "Trebuchet MS";
}

div#exmain div.python p {
    text-align:center;
}

div#exmain div.python .no {
    margin: 0px 15px 0px 0px;
    padding: 0px 0px;
}

div#exmain div.python .c {
    color:#dd0000;
}

div#exmain div.python .kw {
    color:#ff7700;
}

div#exmain div.python .st {
    color:#00aa00;
}

div.python .fn {
    color:#0000ff;
}

/* license style */

div#main div.license {
    position: relative;
    font-size: 12px;
    font-family: "Trebuchet MS";
    color:#222222;
    padding: 0px 0px 0px 25px;
}