From f5800578c76c211cabd4842ddc96d4f6f244f998 Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Thu, 19 Nov 2015 16:13:15 +0100 Subject: Reduce bottom margin for popup hints --- css/codeq/hint.css | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'css') 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; -- cgit v1.2.1