diff options
Diffstat (limited to 'userContent/reproducible/static')
-rw-r--r-- | userContent/reproducible/static/style.css | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/userContent/reproducible/static/style.css b/userContent/reproducible/static/style.css index f4831b4d..039886fc 100644 --- a/userContent/reproducible/static/style.css +++ b/userContent/reproducible/static/style.css @@ -54,12 +54,12 @@ a.noted { } a:hover, a:focus, a.package:hover, a.package:focus { - color:#005580; + color:#0088cc; text-decoration:underline; } a.noted:hover, a.noted:focus { - color:#005580; + color:#0088cc; text-decoration:underline; font-weight: bold; } |