/* general */

body {
    margin:0px;
    padding:0px;
    background: url(/images/menu_bar.png) repeat-x left 70px;
}

div#content {
    margin:0px auto;
    width:60%;
    min-width:700px;
    height:1500px;
    padding:0px;
    background:#ffffff;
}

/* header */

div#header {
    width:100%;
    height:70px;
    background:#ffffff url(/images/mamba_logo.png) no-repeat left top;
}

/* menu */

div#menu {
    margin: 0px;
    padding: 0px;
    width:100%;
    min-width:700px;
    height: 20px;
    background: url(/images/menu_bar.png) repeat-x left top;
}

div#menu ul {
    height: 20px;
    margin: 0px;
    padding: 0px;
    border: 0px;
    border-left: 1px solid #ffffff;
}

div#menu ul li {
    float:left;
    display:inline;
    height: 16px;
    list-style-type:none;
    font-family:verdana, arial, sans-serif;
    font-size: 12px;
    font-weight:bold;
    border-right: 1px solid #ffffff;
    vertical-align:middle;
    margin: 0px;
    padding: 2px 20px 2px 20px;
    color:#ffffff;
}

div#menu ul li a {
    display: inline-block;
    color:#ffffff;
    text-decoration:none;
}
div#menu ul li a:hover {
    color:#004400;
}

div#menu ul li a#index {
    display: inline-block;
    width: 16px;
    height: 16px;
    background: url(/images/home.png) no-repeat;
    text-decoration:none;
}
div#menu ul li a#index:hover {
    background: url(/images/home_sel.png) no-repeat;
}

/* main  */

div#main {
    margin: 0px 0px 0px 0px;
    padding: 0px 25px 0px 25px;
}

div#main h1 {
    width:50%;
    min-width:300px;
    font-size: 16px;
    font-weight: bold;
    color: #008000;
    border: 2px solid #DADBDC;
    background:#ebeced;
    padding: 0px 0px 0px 10px;
    margin: 25px 0px 0px -10px;
}

div#main h2 {
    font-size: 15px;
    text-decoration:underline;
    color: #004400;
    border: 0px;
    padding: 0px 0px 0px 10px;
    margin: 25px 0px 0px -10px;
}

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

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

div#main p.warning {
    color: #ff0000;
}

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;
}
div#main a.get{
    display: inline-block;
    margin:5px auto;
    padding: 20px 5px 3px 65px;
    width: 235px;
    height: 52px;
    border: 0px;
    color: #fff;
    font-size: 14px;
    text-decoration:none;
    background:url(/images/dl.png) no-repeat left center;
}
div#main a.get:hover {
    background:url(/images/dl_sel.png) no-repeat left center;
}
div#main a.get span.title {
    color: #fff;
    font-weight: bold;
}

/* footer */

div#footer {
    width:100%;
    height:70px;
/*    border-top: 1px solid #a0a0a0;*/
}

div#footer p {
    font-size: 12px;
    color: #909090;
}

div#footer a {
    font-size: 12px;
    color: #909090;
    text-decoration:underline;
}

/* examples list */

div#exmenu {
    margin: 0px 0px 0px 0px;
    padding: 25px 0px 0px 0px;
}
div#exmenu ul{
    padding: 0px;
    margin: 0px;
}
div#exmenu ul li{
    display:inline;
    padding: 2px 20px 2px 20px;
    margin: 0px;
    list-style-type:none;
    font-family:verdana, arial, sans-serif;
    font-size: 12px;
    margin: 0px;
    color: #008000;
}
div#exmenu ul li a {
    width:80px;
    color:#008000;
    text-decoration:none;
    border: 0px;
    background-color:#ffffff; /*important*/
}
div#exmenu ul li a:hover {
    color:#FFFFFF;
    background-color:#00A000;
}

/* example main display zone */
div#exmain {
    margin: 0px 0px 0px 0px;
    padding: 0px 25px 0px 25px;
}

div#exmain h1 {
    width:50%;
    min-width:300px;
    font-size: 16px;
    font-weight: bold;
    color: #008000;
    border: 2px solid #DADBDC;
    background:#ebeced;
    padding: 0px 0px 0px 10px;
    margin: 25px 0px 0px -10px;
}

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;
}

/* example image in and out table */
div#exmain table.images_in {
    margin:0px auto;
}
div#exmain table.images_out {
    margin:0px auto;
}
div#exmain td.legend {
    text-align:center;
}
div#exmain img.img_ex_in {
    max-width: 200px;
}
div#exmain img.img_ex_out {
    max-width: 200px;
}

/* 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#exmain 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;
}