body {}

div#output {
    font-size: 24pt;
    color: rgb(0,64,192);
}