fixed font size

diff --git a/run.sh b/run.sh
index 0ccad36..ede7e9b 100755 (executable)
--- a/run.sh
+++ b/run.sh
@@ -2,6 +2,7 @@
 
 set -e
 
+DEST_DIR=`realpath $1`
 TMP_DIR="/tmp/$$.tmp"
 
 mkdir -p "$TMP_DIR"
@@ -15,6 +16,6 @@ mvn clean install
 
 target/pnews.sh
 
-cp -p *html style.css $1
+cp -p *html style.css $DEST_DIR
 
 rm -rf "$TMP_DIR"

diff --git a/style.css b/style.css
index 85a880d..cc79235 100644 (file)
--- a/style.css
+++ b/style.css
@@ -8,6 +8,7 @@ body {
         padding: 1em 1em 1em 1em;
         background-color: #eee;
         font-family: sans-serif;
+        font-size: 100%;
 }
 
 nav {
@@ -56,6 +57,10 @@ h2 {
         padding: 0 0 0 0;
 }
 
+nav {
+        font-size: 120%;
+}
+
 nav ul {
         list-style-type: none;
         padding: 0 0 0 0;