diff --git a/static/css/style.css b/static/css/style.css index a7b24c0..c5e8941 100644 --- a/static/css/style.css +++ b/static/css/style.css @@ -583,6 +583,10 @@ h1 { text-decoration: none; } +.selected_mark { + vertical-align: top; +} + .suggestion { padding: 0.25em 0.5em 0.25em 0.5em; } @@ -599,7 +603,7 @@ h1 { .font_label_button { font-size: 125%; - border-style: outset; + border-style: none; border-width: 0px; text-align: left; background-color: #ffff99; diff --git a/static/js/Wiki.js b/static/js/Wiki.js index 4baa02c..47f0713 100644 --- a/static/js/Wiki.js +++ b/static/js/Wiki.js @@ -4273,10 +4273,10 @@ function Font_pulldown( wiki, notebook_id, invoker, anchor, editor ) { var selected_mark_char = document.createTextNode( "\u25cf" ); if ( current_font_family && font_family.search( current_font_family ) == 0 ) { - var selected_mark = createDOM( "span", {}, selected_mark_char ); + var selected_mark = createDOM( "span", { "class": "selected_mark" }, selected_mark_char ); this.initial_selected_mark = selected_mark; } else { - var selected_mark = createDOM( "span", { "class": "invisible" }, selected_mark_char ); + var selected_mark = createDOM( "span", { "class": "selected_mark invisible" }, selected_mark_char ); } var div = createDOM( "div", {}, selected_mark, " ", label );