diff options
| author | Dario Giovannetti <dariogiova@gmail.com> | 2015-03-11 15:45:00 +0800 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2015-05-14 19:04:44 +0200 |
| commit | 5c99895dd01d4a39df8968d659d2c1526112967a (patch) | |
| tree | 213b132830b89f63b38159ba01f3e4a9dd8c7efc | |
| parent | 3117496a3c7f93cc5fd7a856d95dfc460c845032 (diff) | |
ArchLinux skin: avoid duplicating assignment of the same color
Signed-off-by: Pierre Schmitz <pierre@archlinux.de>
| -rw-r--r-- | skins/ArchLinux/arch.css | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/skins/ArchLinux/arch.css b/skins/ArchLinux/arch.css index 8f2aa615..2e721074 100644 --- a/skins/ArchLinux/arch.css +++ b/skins/ArchLinux/arch.css @@ -4,14 +4,15 @@ body { } body, #content, -table { - color: #222; -} +table, h1, h2, h3, h4, -h5 { +h5, +pre, +code, +tt { color: #222; } h1 { @@ -21,7 +22,6 @@ pre, code, tt { background-color: #ebf1f5; - color: #222; font-family: monospace; } pre { |