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 5bb7ed93..0453bc49 100644 --- a/userContent/reproducible/static/style.css +++ b/userContent/reproducible/static/style.css @@ -218,6 +218,12 @@ th { padding: 0.5em; } +table:target th { + background: #ffb; +} + + + iframe#main { margin: 0; width: 100%; |