From 80bea81bfc8e0727d927316656934f20125aff92 Mon Sep 17 00:00:00 2001
From: Carl Chenet <chaica@ohmytux.com>
Date: Fri, 19 May 2017 13:58:22 +0200
Subject: [PATCH] css: make fonts slightly bigger now that we have more space

---
 app/assets/stylesheets/application.css | 12 +++---------
 1 file changed, 3 insertions(+), 9 deletions(-)

diff --git a/app/assets/stylesheets/application.css b/app/assets/stylesheets/application.css
index 7df4bd6..62fdc54 100644
--- a/app/assets/stylesheets/application.css
+++ b/app/assets/stylesheets/application.css
@@ -498,7 +498,7 @@ li .link {
 }
 
 li .link a {
-	font-size: 11pt;
+	font-size: 11.5pt;
 	text-decoration: none;
 }
 
@@ -562,7 +562,7 @@ li .comment_folder_button:checked ~ ol.comments li {
 
 li .byline {
 	color: #888;
-	font-size: 9pt;
+	font-size: 9.5pt;
 }
 li .byline > img.avatar {
 	margin-bottom: -5px;
@@ -698,6 +698,7 @@ a#story_text_expander {
 }
 
 div.comment_text {
+	font-size: 10.5pt;
 	max-width: 700px;
 	word-wrap: break-word;
 }
@@ -737,13 +738,6 @@ div.comment_text code {
 	line-height: 1.2em;
 }
 
-div.comment_actions a {
-	color: #888;
-	font-weight: bold;
-	font-size: 8.5pt;
-	text-decoration: none;
-}
-
 div.dragons {
 }
 .dragon_text {