witten
/
luminotes
Archived
1
0
Fork 0
Code Releases Activity

Centering the font pulldown selected mark dot is difficult, so instead just vertically align it to the top.

This commit is contained in:
Dan Helfman 2008-12-27 00:32:37 -08:00
parent 290391899c
commit 12bd7b2640
2 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
static/css/style.css
View File

@ -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;

4
static/js/Wiki.js
View File

@ -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 );