summaryrefslogtreecommitdiffstats
path: root/styling
diff options
context:
space:
mode:
authorrsiddharth <rsiddharth@ninthfloor.org>2012-12-21 09:47:17 +0530
committerrsiddharth <rsiddharth@ninthfloor.org>2012-12-21 09:47:17 +0530
commit03ab823d0318865544c54baaaa0b4ebb63fae4fa (patch)
tree73ad82bfba3ed35fa9707d73ae7c0dd4c63c6eb6 /styling
parent7667485f10c7e95a9bfe8620cbc271870694e6f1 (diff)
[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
Diffstat (limited to 'styling')
-rw-r--r--styling/StyleChecker.java14
-rw-r--r--styling/style.css2
2 files changed, 10 insertions, 6 deletions
diff --git a/styling/StyleChecker.java b/styling/StyleChecker.java
index 3a2cc4e..e70170a 100644
--- a/styling/StyleChecker.java
+++ b/styling/StyleChecker.java
@@ -23,18 +23,22 @@ package scruf.styling;
import scruf.io.*;
import java.io.*;
+
public class StyleChecker {
private File styleSheet;
private File curDir;
private String styleContent;
-
+ // the default style sheet in scruf package.
+ private File scrufStyleSheet = new File("scruf/styling/style.css");
public void check(File curDir) {
this.curDir = curDir.getAbsoluteFile();
styleSheet = new File(curDir,"style.css");
- // if style shee doesn't exists, copy default sheet
- // to the directory.
- if(!styleSheet.exists()) {
- styleContent = new ReadFile(new File("scruf/styling/style.css")).getContent();
+ // if style sheet doesn't exists or if the default style is newer
+ // than style sheet in the directory, copy default sheet to the
+ // directory.
+ if((!styleSheet.exists()) ||
+ scrufStyleSheet.lastModified() > styleSheet.lastModified()) {
+ styleContent = new ReadFile(scrufStyleSheet).getContent();
new WriteFile(styleSheet,styleContent).write();
}
}
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;