From 53bc23f3742a0a59e31f6caffaef6454d6110d57 Mon Sep 17 00:00:00 2001 From: Dan Helfman Date: Tue, 29 Apr 2008 20:53:39 +0000 Subject: [PATCH] UI and font size changes. --- NEWS | 3 +++ static/css/note.css | 4 ++++ static/css/style.css | 4 ++++ static/js/Wiki.js | 1 + view/Note_tree_area.py | 2 +- 5 files changed, 13 insertions(+), 1 deletion(-) diff --git a/NEWS b/NEWS index bff926e..f0d43fd 100644 --- a/NEWS +++ b/NEWS @@ -1,3 +1,6 @@ +1.3.7: April 29, 2008 + * Several minor font size and other UI changes. + 1.3.6: April 28, 2008 * Can now click "more" link to display more than ten "recent updates". diff --git a/static/css/note.css b/static/css/note.css index c7309cf..1f86e60 100644 --- a/static/css/note.css +++ b/static/css/note.css @@ -109,3 +109,7 @@ ol li { margin-bottom: 0.5em; border: 1px solid #999999; } + +.search_results_summary { + font-size: 82%; +} diff --git a/static/css/style.css b/static/css/style.css index 9f8fb95..b15b636 100644 --- a/static/css/style.css +++ b/static/css/style.css @@ -741,6 +741,10 @@ img { font-weight: normal; } +#note_tree_instructions { + line-height: 140%; +} + .new_feature_text { font-size: 90%; font-weight: bold; diff --git a/static/js/Wiki.js b/static/js/Wiki.js index 806ffa6..cb76736 100644 --- a/static/js/Wiki.js +++ b/static/js/Wiki.js @@ -1364,6 +1364,7 @@ Wiki.prototype.display_search_results = function ( result ) { } var summary_span = createDOM( "span" ); + summary_span.setAttribute( "class", "search_results_summary" ); summary_span.innerHTML = summary; appendChildNodes( list, diff --git a/view/Note_tree_area.py b/view/Note_tree_area.py index b09bf90..721bab9 100644 --- a/view/Note_tree_area.py +++ b/view/Note_tree_area.py @@ -28,7 +28,7 @@ class Note_tree_area( Div ): Tr( Td( ( notebook.name != u"trash" ) and u'To add a note here, click the "options" tab on a note, then "show on startup".' or None, id = "note_tree_instructions", - class_ = u"small_text link_area_item" + ( ( len( root_notes ) > 0 ) and u" undisplayed" or u"" ), + class_ = u"link_area_item" + ( ( len( root_notes ) > 0 ) and u" undisplayed" or u"" ), ) ) or None, tree_id = "note_tree_root_table", ),