.container{
    padding-top:60px
}
nav{
    position:fixed;
    width:160px
}
nav ul{
    float:left
}
nav ul li{
    display:block;
    margin-bottom:10px
}
nav ul li a, nav ul li a:visited, nav ul li a:active{
    font-size:14px;
    color:#555;
    text-decoration:none;
    font-weight:bold
}
nav ul li a:hover, nav ul li a:focus{
    color:#222
}
.hidden-code a{
    font-size:12px;
    color:#999
}
.hidden-code>div{
    display:none
}
#logo{
    margin-bottom:20px;
    letter-spacing:-1px
}
#blog_title{
    margin-bottom:16px;
}
@media only screen and (max-width:767px){
    header h1{
        font-size:34px;
        line-height:37px
    }
    nav{
        position:relative
    }
    nav ul, #logo{
        text-align:left
    }
    #examples .four.columns{
        padding-top:30px
    }
}
@media only screen and (min-width:480px) and (max-width:767px){
}
@media only screen and (max-width:959px){
    #logo{
        margin-bottom:15px
    }
    nav .button{
        padding:9px 20px 11px
    }
}
@media only screen and (min-width:768px) and (max-width:959px){
    nav{
        width:124px
    }
}
@media only screen and (max-width:767px){
}
@media only screen and (min-width:480px) and (max-width:767px){
}
@media only screen and (max-width:959px){
}
@media only screen and (min-width:768px) and (max-width:959px) and (max-device-width:1000px){
}
@media only screen and (max-width:767px) and (max-device-width:1000px){
}
@media only screen and (min-width:480px) and (max-width:767px) and (max-device-width:1000px){
}
@media only screen and (max-width:959px) and (max-device-width:1000px){
    .resize{
        display:none
    }
}
table{
    background:#fff;
    border:1px solid #ccc;
    border-width:2px;
    border-collapse:collapse;
    margin:5px 0 10px;
    margin-top:20px;
    margin-bottom:20px
}
th, td{
    border:1px solid #ccc;
    padding:3px 10px;
    text-align:left;
    vertical-align:top
}
tr.even td{
    background:#f7f7f7
}
th{
    background:#edeff0
}
.tikz_verybig{
    width:400px;
    height:400px;
    margin-left:auto;
    margin-right:auto;
    display:block
}
.tikz_big{
    width:200px;
    height:200px;
    margin-left:auto;
    margin-right:auto;
    display:block
}
.tikz_small{
    width:150px;
    height:150px;
    margin-left:auto;
    margin-right:auto;
    display:block
}
.highlight{
    margin-bottom:20px
}
div > pre.sourceCode{
    margin-top:30px;
    margin-bottom:30px;
    padding-left:20px;
    border-left:1px solid #ccc
}
code{
    font-family:monospace;
    margin-bottom:16px;
}
p img{
    display:block;
    margin-left:auto;
    margin-right:auto;
    padding:20px
}
sup{
    vertical-align:super;
    font-size:8pt
}
kbd, .key{
    display:inline;
    display:inline-block;
    min-width:1em;
    padding:.2em .3em;
    font:normal .85em/1 "Lucida Grande", Lucida, Arial, sans-serif;
    text-align:center;
    text-decoration:none;
    -moz-border-radius:.3em;
    -webkit-border-radius:.3em;
    border-radius:.3em;
    border:none;
    cursor:default;
    -moz-user-select:none;
    -webkit-user-select:none;
    user-select:none
}
kbd[title], .key[title]{
    cursor:help
}
kbd, kbd.dark, .dark-keys kbd, .key, .key.dark, .dark-keys .key{
    background:rgb(80, 80, 80);
    background:-moz-linear-gradient(top, rgb(60, 60, 60), rgb(80, 80, 80));
    background:-webkit-gradient(linear, left top, left bottom, from(rgb(60, 60, 60)), to(rgb(80, 80, 80)));
    color:rgb(250, 250, 250);
    text-shadow:-1px -1px 0 rgb(70, 70, 70);
    -moz-box-shadow:inset 0 0 1px rgb(150, 150, 150), inset 0 -.05em .4em rgb(80, 80, 80), 0 .1em 0 rgb(30, 30, 30), 0 .1em .1em rgba(0, 0, 0, .3);
    -webkit-box-shadow:inset 0 0 1px rgb(150, 150, 150), inset 0 -.05em .4em rgb(80, 80, 80), 0 .1em 0 rgb(30, 30, 30), 0 .1em .1em rgba(0, 0, 0, .3);
    box-shadow:inset 0 0 1px rgb(150, 150, 150), inset 0 -.05em .4em rgb(80, 80, 80), 0 .1em 0 rgb(30, 30, 30), 0 .1em .1em rgba(0, 0, 0, .3)
}
kbd.light, .light-keys kbd, .key.light, .light-keys .key{
    background:rgb(250, 250, 250);
    background:-moz-linear-gradient(top, rgb(210, 210, 210), rgb(255, 255, 255));
    background:-webkit-gradient(linear, left top, left bottom, from(rgb(210, 210, 210)), to(rgb(255, 255, 255)));
    color:rgb(50, 50, 50);
    text-shadow:0 0 2px rgb(255, 255, 255);
    -moz-box-shadow:inset 0 0 1px rgb(255, 255, 255), inset 0 0 .4em rgb(200, 200, 200), 0 .1em 0 rgb(130, 130, 130), 0 .11em 0 rgba(0, 0, 0, .4), 0 .1em .11em rgba(0, 0, 0, .9);
    -webkit-box-shadow:inset 0 0 1px rgb(255, 255, 255), inset 0 0 .4em rgb(200, 200, 200), 0 .1em 0 rgb(130, 130, 130), 0 .11em 0 rgba(0, 0, 0, .4), 0 .1em .11em rgba(0, 0, 0, .9);
    box-shadow:inset 0 0 1px rgb(255, 255, 255), inset 0 0 .4em rgb(200, 200, 200), 0 .1em 0 rgb(130, 130, 130), 0 .11em 0 rgba(0, 0, 0, .4), 0 .1em .11em rgba(0, 0, 0, .9)
}