* {
    box-sizing: border-box;
}
html, body {
    height: calc(100% - 20px);
}
body {
    background-color: #EEE; 
    margin: 0 20px 20px 20px;
    padding: 0; 
    font-family: monospace; 
    font-size: 16px;
    overflow: hidden;
}
textarea {
    display: block;
    padding: 10px;
    width: 100%;
    height: calc(100% - 20px);
    outline: none;
    border: 1px solid silver;
    border: 0;
    background-color: white;
    resize: none;
    overflow: auto;
    font-family: monospace;
    font-size: 16px;
    color: #444;
}
button {
    height: 40px;
    width: 40px;
    margin-right: 20px;
    margin-bottom: 20px;
    color: #444;
    border: 1px solid #444;
}
hr {
    height: 1px;
    border: 0;
    border-top: 1px solid silver;
}
/* The Menu */
#menu {
    position: fixed; 
    right: 20px; 
    background-color: #eee; 
    box-shadow: 0 4px 8px 0 rgba(0, 0, 0, 0.2), 0 6px 20px 0 rgba(0, 0, 0, 0.19);
    display: none;
}
#menu ul {
    list-style-type: none; 
    margin: 15px 0 15px 0; 
    padding: 0;
}
#menu li {
    color: #444;
    padding: 5px 20px 5px 20px;
}
#menu li a {
    text-decoration: none;
    color: #444;
}
#menu li:hover {
    background-color: silver;
}
/* The Title Line */
#title {
    display: inline;
    font-size: 18px;
    display: block;
    margin: 10px 0 10px 0;
    color: silver;
    text-align: right;
    height: 24px;
    white-space: nowrap;
    overflow: hidden;
}
#title p {
    margin: 0 0;
}
#title a {
    color: #444;
}
#title .material-icons {
    color: #444;
}
#title #page {
    float: right;
    overflow: hidden;
    text-overflow: ellipsis;
    max-width: 50%; /* Hack */
    margin-right: 10px;
}
.material-icons {
    cursor: pointer;
}
/* Hack to align icons in most browsers */
.material-icons {
    vertical-align: -7px;
}
/* Hack to align firefox icons */
@-moz-document url-prefix(){
    .material-icons {
        vertical-align: -5px;
    }
}
/* desktop screens */
@media only screen and (min-width: 800px) {
    ul {
        max-width: 400px;
    }
}

/* printing */
@media print {
    #nav {
        visibility: hidden;
    }
    #page {
        visibility: hidden;
    }
}
