html {
    font-family: courier;
}
.title {
    font-weight:bold;
    font-size:30px;
}
.copyright {
    font-size:12px;
}
.console {
    margin: 0px;
    font-family: courier;
    color: white;
    background-color: black;
    border: 1px solid black;

}
#result {
    overflow: auto;
    padding: 5px;
    height: 600px;

}
#result pre {
    display: inline;
}
#command {
    width: 100%;
    border: 1px solid white;
}
h1 {
    font-family: courier;
    margin-top:0px;
    margin-bottom:0px;
    margin-right:0px;
    margin-left:0px;
}
ul {
    list-style-type:none;
    margin:0;
    padding:0;
    overflow:hidden;
}
li {
    float:left;
}
a:link,a:visited {
    display:block;
    width:120px;
    color:#FFFFFF;
    background-color:black;
    text-align:center;
    padding:4px;
    text-decoration:none;
    text-transform:uppercase;
}
a:hover,a:active {
    background-color:#FFFFFF;
    color:#000000;

}