|
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 |
}
|