#header {
        margin-left: auto;
        margin-right: auto;
        width: 100%;  
    }
    
    #logo {
        float: left;
    }
    
    #menu {
        width:680px;
        float:right;
    }

    #tabs {
        margin-top: 10px;
        margin-left: auto;
        width: 99%;
        float: left;
        border-color: #eeeeee;
    }
    
    #tabcontent {
        visibility:hidden;
    }
    
    #mainpanel {
        width: 100%;
        padding-right: 20px;
        font-family: 'Open Sans'
    }
    
    button.orange {
        border-radius:4px;
        background:orange;
        color:white;
        border:1px solid white;
        font-size:11px;
        padding:5px 10px 5px 10px;        
    }
    
    button.blue {
        border-radius:4px;
        background:#8FBEEB;
        color:white;border:1px solid white;
        font-size:11px;
        padding:5px 10px 5px 10px;     
    }
    
    #preview {
        float:left;
        width:100%;
        position:relative;
        height:2000px;
    }
    
    pre.prettyprint {
        border: 1px solid #eeeeee;
        margin-top: 7px;
        border-color: #aaaaaa;
        border-radius: 4px;    
    }