Switch to unified view

a/website/styles/style.css b/website/styles/style.css
...
...
75
    font-family: monospace;
75
    font-family: monospace;
76
}
76
}
77
.application {
77
.application {
78
    font-weight: bold;
78
    font-weight: bold;
79
}
79
}
80
.literal {
81
    font-family: monospace;
82
}
80
.command {
83
.command {
81
    font-family: monospace;
84
    font-family: monospace;
82
}
85
}
83
.filename {
86
.filename {
84
    font-family: monospace;
87
    font-family: monospace;
85
    color: #007a00;
88
    color: #007a00;
86
}
89
}
87
90
88
a.important {
91
.important {
89
    background: yellow;
92
    background: yellow;
90
}
93
}
91
a.weak {
94
a.weak {
92
    color: #aaaaaa;
95
    color: #aaaaaa;
93
}
96
}