Fewer small fonts, and sans-serif instead of times.

static/css/note.css

@@ -1,7 +1,7 @@
 body {
   padding: 1em;
-  font-size: 100%;
   line-height: 140%;
+  font-family: sans-serif;
 }
 
 a:hover {
@@ -16,6 +16,7 @@ h3 {
   border-style: outset;
   border-width: 0px;
   background-color: #d0e0f0;
+  font-size: 100%;
   outline: none;
   -moz-border-radius: 0.5em;
   -webkit-border-radius: 0.5em;
@@ -33,11 +34,6 @@ h3 {
   -webkit-border-radius: 0.5em;
 }
 
-.small_text {
-  font-size: 85%;
-  line-height: 1em;
-}
-
 ul {
   list-style-type: disc;
 }

static/css/style.css

@@ -2,6 +2,7 @@ html, body {
   margin: 0em;
   background-color: #fafafa;
   text-align: center;
+  font-family: sans-serif;
 }
 
 a {
@@ -57,7 +58,6 @@ ol li {
   background-color: #d0e0f0;
   height: 2em;
   width: 2em;
-  font-family: times, serif;
   font-size: 125%;
   outline: none;
   -moz-border-radius: 0.5em;
@@ -101,12 +101,10 @@ ol li {
   margin-left: 1.5em;
   margin-top: 1em;
   margin-right: 2em;
-  font-size: 85%;
   line-height: 100%;
 }
 
-#link_area h3 {
+#link_area h4 {
-  font-size: 100%;
   margin-top: 1.5em;
   margin-bottom: 0.25em;
 }
@@ -155,7 +153,6 @@ ol li {
 #user_area {
   text-align: right;
   margin-bottom: 1em;
-  font-size: 85%;
 }
 
 #user_area a {
@@ -195,7 +192,7 @@ ol li {
   border-style: outset;
   border-width: 0px;
   background-color: #d0e0f0;
-  font-size: 85%;
+  font-size: 100%;
   outline: none;
   -moz-border-radius: 0.25em;
   -webkit-border-radius: 0.25em;
@@ -247,7 +244,6 @@ ol li {
   max-height: 20em;
   overflow: auto;
   padding: 0.5em;
-  font-size: 85%;
   border: 1px solid #000000;
   background: #ffff99;
   -moz-border-radius: 0.25em;
@@ -306,7 +302,7 @@ ol li {
   border-style: outset;
   border-width: 0px;
   background-color: #d0e0f0;
-  font-size: 85%;
+  font-size: 100%;
   outline: none;
   -moz-border-radius: 0.25em;
   -webkit-border-radius: 0.25em;

static/js/Wiki.js

@@ -68,7 +68,7 @@ Wiki.prototype.display_user = function ( result ) {
   var notebooks_span = createDOM( "span" );
   replaceChildNodes( "notebooks_area", notebooks_span );
 
-  appendChildNodes( notebooks_span, createDOM( "h3", "notebooks" ) );
+  appendChildNodes( notebooks_span, createDOM( "h4", "notebooks" ) );
 
   for ( var i in result.notebooks ) {
     var notebook = result.notebooks[ i ];
@@ -157,7 +157,7 @@ Wiki.prototype.populate = function ( result ) {
   var span = createDOM( "span" );
   replaceChildNodes( "this_notebook_area", span );
 
-  appendChildNodes( span, createDOM( "h3", "this notebook" ) );
+  appendChildNodes( span, createDOM( "h4", "this notebook" ) );
   if ( !this.parent_id ) {
     appendChildNodes( span, createDOM( "div", { "class": "link_area_item" },
       createDOM( "a", { "href": location.href, "id": "all_notes_link", "title": "View a list of all notes in this notebook." }, "all notes" )
@@ -489,7 +489,7 @@ Wiki.prototype.create_editor = function ( id, note_text, deleted_from, revisions
   // for read-only notes within read-write notebooks, tack the revision timestamp onto the start of the note text
   if ( !read_write && this.read_write && revisions_list && revisions_list.length ) {
     var short_revision = this.brief_revision( revisions_list[ revisions_list.length - 1 ] );
-    note_text = "<p class=\"small_text\">Previous revision from " + short_revision + "</p>" + note_text;
+    note_text = "<p>Previous revision from " + short_revision + "</p>" + note_text;
   }
 
   var startup = this.startup_notes[ id ];