#menu {
    position: fixed;
    z-index: 50;
    top: 0;
    bottom: 0;
    right: -250px;
    width: 250px;
    transition: right 0.25s;
    background-color: #666666;
    color: white;
    overflow: auto;
}
#menu.open {
    right: 0;
    transition: right 0.25s;
}
.open #menu-toggle {
    transform: rotate(90deg);
    transition: transform 0.5s;
}
#filler {
    height: 40px;
}
#home-link img {
    margin-top: 5px;
    height: 50px;
}
#menu-items .menu-item a, #menu-items .menu-item .label{
    display: block;
    text-decoration: none;
    color: white;
    font-size: 20px;
}
#menu-toggle {
    position: fixed;
    right: 10px;
    top: 10px;
    cursor: pointer;
    background-color: white;
    padding: 6px;
    border-radius: 8px;
    border: 1px solid #666666;
    color: #666666;
    transition: transform 0.5s;
}
#menu-toggle span.icon {
    font-size: 25px;
}
#menu-items .label {
    padding-top: 8px;
}
#menu-items .menu-item.signup-button a {
    display: block;
    padding: 5px;
    font-size: 18px;
    margin-top: 5px;
    margin-bottom: 5px;
    background-color: #60a5fa;
    border: 2px solid #60a5fa;
    color: white;
    border-radius: 8px;
    text-align: center;
}
#menu-items .menu-item.login-button a {
    display: block;
    padding: 5px;
    font-size: 18px;
    margin-top: 5px;
    border: 2px solid #60a5fa;
    color: #60a5fa;
    border-radius: 8px;
    text-align: center;
}
#menu .submenu {
    padding-left: 20px;
}
.image img {
    width: 100%;
}
.border img {
    border: 1px solid #666666;
}
#cookie-notice {
    background-color: #666666;
    color: white;
    position: fixed;
    bottom: 0;
    left: 0;
    right: 0;
}
.toc ul {
    list-style: none;
    font-size: 16px;
    margin: 0;
    padding: 0;
    margin-bottom: 20px;
}
.toc li.active {
    font-weight: bold;
}
.toc ul li .indent {
    display: block;
    margin-left: 18px;
}
.toc ul li a {
    text-decoration: none;
}
#footer {
    padding-top: 10px;
    border-top: 1px solid #cccccc;
}
@media (min-width: 768px) {
    body {
        padding-top: 60px;
    }   
    #menu {
        top: 0;
        left: 0;
        right: 0;
        bottom: auto;
        width: auto;
        background-color: white;
        box-shadow: 0px 1px 4px #333333;
        height: 60px;
        overflow: visible;
    }
    #menu-items {
        padding-top: 10px;
    }
    #menu .submenu {
        display: none;
        position: absolute;
        background-color: white;
        box-shadow: 0px 1px 4px #333333;
        padding: 0;
    }
    #menu .menu-item:hover .submenu {
        display: block;
    }
    #menu .menu-item:hover .submenu a {
        display: block;
    }
    #menu-toggle {
        display: none;
    }
    #filler {
        height: 0;
    }
    #menu-items {
        float: right;
        overflow: auto;
        display: block;
        margin-top: 0;
    }
    #menu-items .menu-item {
        float: left;
    }
    #menu-items .menu-item .label {
        display: inline;
        color: #666666;
        line-height: 45px;
        margin-left: 8px;
        margin-right: 8px;
        font-size: 18x;
    }
    #menu-items .menu-item.signup-button a {
        display: inline;
    }
    #menu-items .menu-item.login-button a {
        display: inline;
    }
    .toc {
        position: fixed;
        top: 60px;
        bottom: 0;
        overflow: auto;
    }
}

/*#menu {
    position: fixed;
    top: 0;
    left: 0;
    right: 0;
    background-color: white;
    box-shadow: 0px 1px 4px #333333;
    z-index: 50;
    min-height: 60px;
}
#menu-items .menu-item a {
    text-decoration: none;
    color: #666666;
    font-size: 20px;
}
#menu-toggle {
    position: absolute;
    right: 10px;
    top: 10px;
    cursor: pointer;
}
#menu-toggle span.icon {
    font-size: 30px;
}
#menu-items {
    display: none;
}
#menu-items .menu-item {
    padding-top: 8px;
}
#menu-items .menu-item.signup-button a {
    display: inline-block;
    padding: 5px;
    font-size: 18px;
    margin-top: 5px;
    margin-bottom: 5px;
    background-color: #60a5fa;
    border: 2px solid #60a5fa;
    color: white;
    border-radius: 8px;
}
#menu-items .menu-item.login-button a {
    display: inline-block;
    padding: 5px;
    font-size: 18px;
    margin-top: 5px;
    border: 2px solid #60a5fa;
    color: #60a5fa;
    border-radius: 8px;
}
@media (min-width: 768px) {
    #menu {
        height: 50px;
        overflow: auto;
    }
    #menu-toggle {
        display: none;
    }
    #menu-items {
        float: right;
        overflow: auto;
        display: block;
    }
    #menu-items .menu-item {
        float: left;
    }
    #menu-items .menu-item a {
        line-height: 45px;
        margin-left: 12px;
        margin-right: 12px;
    }
    #menu-items .menu-item.signup-button a {
        display: inline;
    }
    #menu-items .menu-item.login-button a {
        display: inline;
}*/