summaryrefslogtreecommitdiff
path: root/css
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2015-11-19 16:13:15 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2015-11-19 16:13:15 +0100
commitf5800578c76c211cabd4842ddc96d4f6f244f998 (patch)
tree222ceb6030255906941c8c99abe5868a9edd99f4 /css
parent2f675ea417a8912933399b140d7879539bb3f106 (diff)
Reduce bottom margin for popup hints
Diffstat (limited to 'css')
-rw-r--r--css/codeq/hint.css4
1 files changed, 4 insertions, 0 deletions
diff --git a/css/codeq/hint.css b/css/codeq/hint.css
index 7323a59..81ffe32 100644
--- a/css/codeq/hint.css
+++ b/css/codeq/hint.css
@@ -28,6 +28,10 @@ a.hint-static-link {
opacity: 1;
}
+.popup-hint > :last-child {
+ margin-bottom: 0;
+}
+
/* the highlighted part of the text, used in pop-up and drop-down hints */
.editor-mark {
background-color: #e7c3c3;