body, html {
    margin: 0;
    padding: 0;
    word-wrap: break-word;
    font-family: arial, noto-sans;
}

.splitter {
    width: 100%;
    min-height: 100vh;
    display: flex;
}
aside {
    padding: 10px;
    width: 20%;
    /* width: 250px; */
    min-width: 125px;
    background-color: #ededed;
    color: black;
}
main {
    padding: 10px;
    width: 80%;
    /* width: calc(100% - 250px); */
    background-color: #f9f9f9;
    color: black;
}
a {
    color: black;
}
*.menubutton {
    background: #d3d3d3;
    margin-top: 3px;
    margin-bottom: 3px;
    color: black;
    font-size: 16px;
    border-radius: 3px;
    padding: 5px 10px;
    text-decoration: none;
    width: 75%;
}
*.menubutton {
    border: 1px solid black;
}
*.menubutton {
    display: inline-block;
}