body{
   font-family: Courier New;
   background-color: black;
   color: white;
   font-size: 13px;
}


a, a:visited{
    color: #3A9BE0;
    text-decoration: none;
}

a:hover {
    color: #FFBA27;
}



textarea{
   font-size: 11px;
   background-color: black;
   color: white;
   width: 100%;
   height: 500px;
   border: 1px solid white;
}

.input{
    color: #ccc;
    width:49%;
    float:left;
    margin:0;
    padding:0;
}

.result{
    color: #ccc;
    width:49%;
    float:right;
}

.execute{
    text-align:center;
}

.execute input{
    border: 1px solid white;
    background-color: black;
    color: white;
    padding:0;
    margin:0;
    margin-top:5px;
    margin-bottom:5px;
    font-weight: bold;
    height: 25px;
    font-family: Courier New;
}

#hostname, #port{
    margin:0;
    width: 130px;
    text-align: center;
}

#port {
    width: 70px;
}

.execute div{
    border: 1px solid white;
    width: 330px;
    float:right;
    padding: 1px;
}