/* CSS for website */
pre{
    font-size: 0.9em;
}

table td{
    font-size: 0.9em;
}