diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2018-10-13 19:15:56 +0200 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2018-10-13 19:15:56 +0200 |
commit | e17416d594642c5e9eaf905f37cef10021071ab1 (patch) | |
tree | 4057ca7187a413e085aa8354455b5154838b005a /kpov_judge/web/kpov_judge/static/style.css | |
parent | cc12d3b303e5d1a2e88073d0d6f7ff2f4210273f (diff) |
Show results and parameters on task page
Diffstat (limited to 'kpov_judge/web/kpov_judge/static/style.css')
-rw-r--r-- | kpov_judge/web/kpov_judge/static/style.css | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/kpov_judge/web/kpov_judge/static/style.css b/kpov_judge/web/kpov_judge/static/style.css index ade0909..69ac87c 100644 --- a/kpov_judge/web/kpov_judge/static/style.css +++ b/kpov_judge/web/kpov_judge/static/style.css @@ -8,6 +8,22 @@ body { padding: 1em 2em; } +code { + background-color: #d6d6d6; + font-size: 1.2em; + padding: 0 0.25em; +} + +dl { + margin-top: 0.5em; +} +dt { + margin-top: 0.5em; +} +dd { + margin-left: 1em; +} + h1 { margin-bottom: 0.5em; } @@ -22,6 +38,7 @@ p { pre { margin-left: 1em; + overflow: auto; } .tooltip { /* hide and position tooltip */ |