@import url(https://fonts.googleapis.com/css?family=Roboto+Mono:400,700);

body {
    font-family: Roboto Mono, monospace;
    font-size: 9pt;
    width: 600px;
    padding-left: 10px;
    padding-top: 5px;
    padding-bottom: 10px;
    color: #000000;
    background-color: #ffffff;
}

a { 
    color: #28a0ff;
    text-decoration: none;
}

#title { font-weight: bold; }
#plainText { color: #000000; }
#comment { color: #45BB3E; }
#string { color: #D3232E; }
#number { color: #149C92; }
#URL { color: #5124E3; }
#keyword { color: #D7008F; }
#variable { color: #1DA9A2; }
#class { color: #25908D; }