/* vanilla.css */
html, body {
    height: 100%;
    margin: 0;
    padding: 0px;
    background-color: #444;
    overflow: hidden;
}

#header {
    background-color: #111;
    color: #444;
    caret-color: #884;
    width: 100%;
    height: 32px;
}

#console {
    padding:12px;
    font-size: 14px;
    line-height: 1.2;
    background-color: #222;
    width: 100%;
    height: 80%;
    color: #888;
    caret-color: #884;
    font-family:
        "Cascadia Mono",
        "DejaVu Sans Mono",
        "Noto Sans Mono",
        Consolas,
        "Courier New",
        "SF Mono",
        Menlo,
        monospace,
        "Apple Color Emoji",
        "Segoe UI Emoji",
        "Noto Color Emoji";

    white-space: pre;
}

#status {
    background-color: #444;
    color: #aaa;
    caret-color: #840;
    width: 100%;
    height: 32px;
    font-size:x-small;
}


a:link {
  color: green;
  background-color: transparent;
  text-decoration: none;
}

a:visited {
  color: pink;
  background-color: transparent;
  text-decoration: none;
}

a:hover {
  color: red;
  background-color: transparent;
  text-decoration: underline;
}

a:active {
  color: yellow;
  background-color: transparent;
  text-decoration: underline;
}