From 78b4da5fea99561e7707e6de5195ae1c693193ae Mon Sep 17 00:00:00 2001
From: Jean-Philippe Orsini <orsinije@fr.ibm.com>
Date: Thu, 12 Oct 2017 09:02:31 +0200
Subject: [PATCH] fixed font size

---
 run.sh    | 3 ++-
 style.css | 5 +++++
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/run.sh b/run.sh
index 0ccad36..ede7e9b 100755
--- 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
--- 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;
-- 
2.7.4