From b7f2991246492a882afc520978d2850626514afa Mon Sep 17 00:00:00 2001 From: Massimo Date: Tue, 22 Jan 2013 16:27:00 -0600 Subject: [PATCH] fixed font-family in codemirror, thanks Mariano --- VERSION | 2 +- applications/admin/static/codemirror/theme/web2py.css | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/VERSION b/VERSION index b751aea4..0df2b318 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -Version 2.4.1-alpha.2+timestamp.2013.01.21.16.42.00 +Version 2.4.1-alpha.2+timestamp.2013.01.22.16.26.12 diff --git a/applications/admin/static/codemirror/theme/web2py.css b/applications/admin/static/codemirror/theme/web2py.css index fad60b58..0b08f411 100644 --- a/applications/admin/static/codemirror/theme/web2py.css +++ b/applications/admin/static/codemirror/theme/web2py.css @@ -28,7 +28,7 @@ .cm-s-web2py { line-height: 1.40em; - font-family: "serif"; +/* font-family: "serif";*/ } /* Fullscreen mode and active line highlight */