Switch to unified view

a/website/styles/style.css b/website/styles/style.css
...
...
81
    font-style: italic;
81
    font-style: italic;
82
    margin-left: 4em;
82
    margin-left: 4em;
83
    margin-right: 4em;
83
    margin-right: 4em;
84
}
84
}
85
div.news {
85
div.news {
86
    font-size: 80%;
86
    font-size: 90%;
87
    margin-right: 5em;
87
}
88
}
88
.application {
89
.application {
89
    font-weight: bold;
90
    font-weight: bold;
90
}
91
}
91
.literal {
92
.literal {