diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2017-02-27 18:36:36 +0100 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2017-02-27 18:36:36 +0100 |
| commit | d85c5d061764ea41c8ea7097239c332cd16c509d (patch) | |
| tree | 452ac7b1917ee20b0b93fb80b651bf8bbf2a33c0 | |
| parent | 3a79392cf8fd781f0a746ae4123d9208cb04735b (diff) | |
Tweak CSS for hints
| -rw-r--r-- | css/codeq.css | 3 | ||||
| -rw-r--r-- | css/codeq/hint.css | 15 |
2 files changed, 13 insertions, 5 deletions
diff --git a/css/codeq.css b/css/codeq.css index 919dc53..ec1e199 100644 --- a/css/codeq.css +++ b/css/codeq.css @@ -30,7 +30,8 @@ body { } /* code text style */ -code, pre { +.code, code, pre { + font-family: monospace; font-size: 0.95em; } code { diff --git a/css/codeq/hint.css b/css/codeq/hint.css index 114a5d4..4cdb0ca 100644 --- a/css/codeq/hint.css +++ b/css/codeq/hint.css @@ -29,8 +29,9 @@ div.hint-static img { div.hints > div.feedback { border-top: 1px solid #ddd; - margin-bottom: 1.5em; - margin-top: 0.5em; + margin: 0.5em 0 1.5em; + padding: 0 0.75em; + position: relative; opacity: 0.75; } div.hints > div.feedback:first-child { @@ -40,6 +41,11 @@ div.hints > div.feedback:first-child { div.hints > div.feedback:hover { opacity: 1; } +div.hints > div.feedback > button { + position: absolute; + top: 0.5em; + right: 0.5em; +} div.hints > div.feedback > div { margin-bottom: 0.5em; @@ -51,8 +57,9 @@ div.hints > div.feedback > div { } /* the highlighted part of the text, used in pop-up and drop-down hints */ -.editor-mark { - background-color: #e7c3c3; +.editor-mark.highlight { + color: red; + text-decoration: dotted underline; } .editor-mark.insert { |