diff options
-rw-r--r-- | css/codeq/hint.css | 4 | ||||
-rw-r--r-- | js/codeq/hint.js | 4 |
2 files changed, 6 insertions, 2 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; 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', |