From f5800578c76c211cabd4842ddc96d4f6f244f998 Mon Sep 17 00:00:00 2001
From: Timotej Lazar <timotej.lazar@fri.uni-lj.si>
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/codeq/hint.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