From 80432f3cbb272675e3aa757870bec83e6e97925d Mon Sep 17 00:00:00 2001 From: Dan Helfman Date: Fri, 26 Dec 2008 19:51:34 -0800 Subject: [PATCH] Renamed "Sans Serif" to "Arial", "Serif" to "Times New Roman", etc. --- static/js/Wiki.js | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/static/js/Wiki.js b/static/js/Wiki.js index 6079d44..286e377 100644 --- a/static/js/Wiki.js +++ b/static/js/Wiki.js @@ -4243,10 +4243,10 @@ function Font_pulldown( wiki, notebook_id, invoker, anchor, editor ) { this.invoker = invoker; var fonts = [ - [ "Sans Serif", "sans-serif" ], - [ "Serif", "serif" ], - [ "Monospace", "courier new,monospace" ], - [ "Comic", "comic sans ms,sans-serif" ], + [ "Arial", "arial,sans-serif" ], + [ "Times New Roman", "times new roman,serif" ], + [ "Courier", "courier new,monospace" ], + [ "Comic Sans", "comic sans ms,sans-serif" ], [ "Garamond", "garamond,serif" ], [ "Georgia", "georgia,serif" ], [ "Tahoma", "tahoma,sans-serif" ],