From 03ab823d0318865544c54baaaa0b4ebb63fae4fa Mon Sep 17 00:00:00 2001 From: rsiddharth Date: Fri, 21 Dec 2012 09:47:17 +0530 Subject: [bug-fix]: when the default style sheet is newer than the style sheet in that directory, the new default style sheet is copied to that directory. added Run.java to bzr (forgot to add it in the last commit) modified: styling/StyleChecker.java styling/style.css --- styling/style.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'styling/style.css') diff --git a/styling/style.css b/styling/style.css index 9166be3..d6a533a 100644 --- a/styling/style.css +++ b/styling/style.css @@ -6,7 +6,7 @@ */ article { - font-size:1.50em; /* 1.88 */ + font-size:1.50em; font-family:"Palatino Linotype","Book Antiqua",Palatino,"URW Palladio L",FreeSerif,serif; color:#787878; margin-left:auto; -- cgit v1.2.3