diff options
Diffstat (limited to 'web/kpov_judge/static/style.css')
-rw-r--r-- | web/kpov_judge/static/style.css | 72 |
1 files changed, 72 insertions, 0 deletions
diff --git a/web/kpov_judge/static/style.css b/web/kpov_judge/static/style.css new file mode 100644 index 0000000..363fbc4 --- /dev/null +++ b/web/kpov_judge/static/style.css @@ -0,0 +1,72 @@ +a.back { + text-decoration: none; +} + +body { + margin: 0 auto; + max-width: 60em; + padding: 1em 2em; +} + +code { + background-color: #d6d6d6; + color: black; + font-size: 1.2em; + padding: 0.20em 0.25em 0; +} + +dl { + margin-top: 0.5em; +} +dt { + margin-top: 0.5em; +} +dd { + margin-left: 1em; +} + +h1, h2, h3 { + margin-bottom: 0.5em; +} +h2 { + font-size: 110%; +} +h3 { + font-size: 105%; +} + +p { + hyphens: auto; + margin-top: 0.5em; + margin-bottom: 0; + padding-top: 0; + text-align: justify; +} + +pre { + margin-left: 1em; + overflow: auto; +} + +.tooltip { /* hide and position tooltip */ + top: 1em; + left: 1em; + background-color: black; + color: white; + border-radius: 5px; + opacity: 0; + position: absolute; + -webkit-transition: opacity 0.5s; + -moz-transition: opacity 0.5s; + -ms-transition: opacity 0.5s; + -o-transition: opacity 0.5s; + transition: opacity 0.5s; +} + +.hover { + position: relative; +} + +.hover:hover .tooltip { /* display tooltip on hover */ + opacity: 1; +} |