body {
    font-family: 'Helvetica', sans-serif;
    margin: 0;
    padding: 0;
    line-height: 1.8;
    font-weight: 400;
    padding-left: 20px; 
    padding-right: 20px;
}
nav {
    width: 500px;
    padding: 20px;
    background-color: #f4f4f4;
    line-height: 2;
    font-size: 14px;
}
main {
    flex-grow: 1;
    padding: 20px;
}
h1, h2, h3, h4, h5, h6 {
    color: #333;
}
h2 {
    margin-top: 50px;
    margin-bottom: 20px;
  }
a {
    color: #656e74;
    text-decoration: none;
}
a:hover {
    text-decoration: underline;
}
.container {
    display: flex;
}
.container > div {
    margin-right: 20px;
}
.container > div:last-child {
    margin-right: 0;
}
.container > div > h2 {
    margin-top: 20px;
}

#toggle-nav {
    background: #ddd;
    border: none;
    padding: 10px;
    width: 100%;
    font-size: 16px;
    cursor: pointer;
    margin-bottom: 10px;
}

#nav-content {
    display: block; /* Default visible */
}

@media (max-width: 768px) {
    nav {
        min-width: unset;
        width: 100%;
    }
    main {
        padding-left: 5%;
        padding-right: 5%;
    }
}

mjx-container {
  font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif !important;
}