diff options
Diffstat (limited to 'userContent/reproducible/static')
| -rw-r--r-- | userContent/reproducible/static/style.css | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/userContent/reproducible/static/style.css b/userContent/reproducible/static/style.css index 5637ee7d..bdc0e755 100644 --- a/userContent/reproducible/static/style.css +++ b/userContent/reproducible/static/style.css @@ -116,6 +116,10 @@ a.package:visited, a.noted:visited { background-color: #bfeaff; } +span.highlight { + color: #d70a53; + font-weight: bold; +} ul.new-menu { border-top: 1px solid #eee; @@ -133,6 +137,10 @@ ul.reproducible-links li a { padding: 0; } +ul.pkgset-list { + margin: 0.5em; +} + header { border-bottom: 1px solid #d70a53; } |