diff options
Diffstat (limited to 'userContent')
| -rw-r--r-- | userContent/reproducible/static/style.css | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/userContent/reproducible/static/style.css b/userContent/reproducible/static/style.css index 4d882d1a..e2e0f3b2 100644 --- a/userContent/reproducible/static/style.css +++ b/userContent/reproducible/static/style.css @@ -116,6 +116,7 @@ ul.menu { background-color: #bfeaff; } + ul.reproducible-links { margin-top: 1em; border-top: 1px solid #eee; @@ -165,6 +166,11 @@ ul li { display: inline-block; } +.active { + background-color: #bfeaff; +} + + h1 { font-size : 250%; padding: 0; |