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

@media (prefers-color-scheme: dark) {
    body {
        background-color: black;
        color: white;
    }

    h1 {
        color: #edeff0;
    }

    h2 {
        color: #edeff0;
    }

    h3 {
        color: #edeff0;
    }

    h4 {
        color: #edeff0;
    }

    p {
        color: white;
    }

    nav ul li a:hover,
    nav ul li a:focus {
        color: lightgray
    }
}

@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: #edeff0
}

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
}

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