reduce popover padding and size

2024-12-23 03:43:48 +01:00 · 2014-07-27 20:28:15 -03:00 · 2014-07-27 20:28:15 -03:00 · 2084bb429e
commit 2084bb429e
parent f40aaab2ea
3 changed files with 3 additions and 2 deletions
--- a/mindplot/src/main/javascript/widget/KeyboardShortcutTooltip.js
+++ b/mindplot/src/main/javascript/widget/KeyboardShortcutTooltip.js
@ -53,6 +53,7 @@ mindplot.widget.KeyboardShortcutTooltip = new Class({
        var textContainer = $('<div></div>').text(this._text);
        textContainer.css({
            width: '100%',
+            'font-size': "90%",
            textAlign: 'center',
            'font-weight':'bold'
        });
--- a/wise-editor/src/main/webapp/bootstrap/css/bootstrap.css
+++ b/wise-editor/src/main/webapp/bootstrap/css/bootstrap.css
@ -5340,7 +5340,7 @@ button.close {
  border-radius: 5px 5px 0 0;
 }
 .popover-content {
-  padding: 9px 14px;
+  padding: 4px 6px;
 }
 .popover .arrow,
 .popover .arrow:after {
--- a/wise-editor/src/main/webapp/bootstrap/css/bootstrap.min.css
+++ b/wise-editor/src/main/webapp/bootstrap/css/bootstrap.min.css