From 828a8f43d504422a4260cbef92249fc9e2250447 Mon Sep 17 00:00:00 2001 From: Christian Mueller Date: Sat, 4 Jan 2014 21:46:16 +0100 Subject: [PATCH] style improvement --- resources/public/style.less | 14 ++++++++++---- 1 file changed, 10 insertions(+), 4 deletions(-) diff --git a/resources/public/style.less b/resources/public/style.less index e9ee3c0..97c9744 100644 --- a/resources/public/style.less +++ b/resources/public/style.less @@ -13,6 +13,8 @@ @header_font: 'Noticia Text'; @text_font: 'Georgia'; +@font_size: 1.2em; + // mixins .helvetica { font-weight: 300; @@ -27,6 +29,12 @@ border: 1px solid @foreground; } +// end mixins + +code, pre { + font-family: "Menlo", "Andale Mono", "Consolas", Fixed, monospace; + font-size: 0.9em; +} a { color: @link_fresh; text-decoration: none; @@ -114,7 +122,7 @@ article { margin-top: 5em; font-family: @text_font, 'Georgia'; text-align: justify; - font-size: 1.2em; + font-size: @font_size; } article p { line-height: 140%; @@ -122,6 +130,7 @@ article p { article > h1:first-child { text-align: center; + font-size: 2em; margin: 2em; } .centered { @@ -149,9 +158,6 @@ textarea { .hidden, .markdown { display: none; } -h1 { - font-size: 2em; -} #dashed-line { border-bottom: 1px dashed @foreground_halftone; margin-top: 3em;