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

---
 js/codeq/hint.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'js')

diff --git a/js/codeq/hint.js b/js/codeq/hint.js
index 5db9fca..d402313 100644
--- a/js/codeq/hint.js
+++ b/js/codeq/hint.js
@@ -274,14 +274,14 @@
                         }
                     }
                     // construct the wrapper element for the translation mechanism
-                    htmlPrefix = '<span ' + ta(translations) + '>';
+                    htmlPrefix = '<div class="popup-hint" ' + ta(translations) + '>';
                     // create the popover after all the DOM modifications have been made, otherwise only the last made popover can be triggered
                     instFunc = function () {
                         var jqMark = jqEditor.find('.' + mark.className);
                         jqMark.popover({
                             'content': function () {
                                 // decide on what to display only after the popup is triggered, so we can choose the correct translation
-                                return htmlPrefix + translations[codeq.settings['gui_lang']] + '</span>';
+                                return htmlPrefix + translations[codeq.settings['gui_lang']] + '</div>';
                             },
                             'html': true,
                             'placement': 'auto bottom',
-- 
cgit v1.2.1