html {
  font-family: Verdana;
}
textarea {
  min-height: 76px;
  overflow-y: auto;
  word-wrap:break-word;
  width: 99%;
}
input {

    display: block;
    font-family: monospace;
    white-space: pre;
    width: 100%;
    border: none;
    padding: 2px;
    font-size: 18px;
    background-color: #444;
    color: #FFF;
    margin: 10px 0 0;
}
button {
    display: block;
    margin-bottom: 3px;
}
nav {
  position: fixed;
  width: 240px;
  z-index: 1;
  top: 10px;
  bottom: 30px;
  left: 10px;
  overflow-x: hidden;
  overflow-y: auto;
}
a {
  font-size: 14px;
  padding: 4px;
  text-decoration: none;
  display: block;
  color: black;
}
a:hover {
  color: #0000C0;
  text-decoration: underline;
}
main {
  margin-left: 260px;
}
h4 {
  margin-bottom: 0;
}