body {
    margin: 0;
    padding: 0;
}

html, 
body {
    height: 100%;
}

.clear {
    clear: both;
}

@font-face {
    font-family: "Space Mono";
    src: url("../fonts/SpaceMono-Regular.ttf") format("truetype");
    font-weight: normal;
}

@font-face {
    font-family: "Space Mono";
    src: url("../fonts/SpaceMono-Bold.ttf") format("truetype");
    font-weight: 700;
}

.terminal {
    font-family: "Space Mono", monospace;
    font-weight: 700;
    -webkit-font-smoothing: antialiased;
    -moz-osx-font-smoothing: grayscale;
}

.terminal a.ui-slider-handle:focus {
    outline: none;
}

@media screen and (-webkit-min-device-pixel-ratio:0) {
    .terminal,
    .terminal .terminal-output,
    .terminal .terminal-output div,
    .cmd,
    .terminal .cmd span,
    .terminal .cmd div {
        font-weight: 700;
    }
}