body {
    color: white;
    background: #444;
    font-family: Verdana,Arial,sans-serif;
    padding: 1em;
}

a {
  color: #1E90FF;
}

.output {
    color: white;
    background: black;
    left: 3px;
    right: 3px;
    font-family: DejaVu Sans Mono,Menlo,monospace;
    position: fixed;
    bottom: 2em;
    top: 2em;
    overflow: auto;
    word-wrap: break-word;
    -webkit-user-select: auto;
    user-select: text;
    z-index: 0;
    padding: 1em;
}