From 23ea72228b71816dd0d5add2a9a9ce1430b0c48d Mon Sep 17 00:00:00 2001 From: Victor Date: Tue, 20 Dec 2016 22:24:44 +0100 Subject: [PATCH] un peu de personnalisation du CSS --- theme/static/css/style.css | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) diff --git a/theme/static/css/style.css b/theme/static/css/style.css index 8b7492c..24e573c 100644 --- a/theme/static/css/style.css +++ b/theme/static/css/style.css @@ -1,12 +1,13 @@ body,html{ height:100%; + color: black; } h1, h2, h3, h4, h5, h5 { font-family: Baskerville, Garamond, Georgia, "DejaVu Serif", "Times New Roman", Times, serif; font-weight: normal; } - + #content-sans-footer{ min-height:100%; } @@ -144,14 +145,15 @@ article p a:hover, article ol a:hover, article div.article-content ul:not(.artic .article-content { text-align:justify; - max-width:50em; + /*max-width:50em;*/ font-family: "PT Serif", Georgia, Times, "Times New Roman", serif; + } .article-content p{ font-variant: normal; text-transform: none; - font-size: 1.1em; + font-size: 1.3em; line-height: 1.6em; margin:20px 0px 20px 0px; } @@ -357,16 +359,16 @@ ul.top-menu li a { } .amp { - font-family:"Warnock Pro", "Goudy Old Style","Palatino","Book Antiqua",serif; + font-family:"Warnock Pro", "Goudy Old Style","Palatino","Book Antiqua",serif; font-style:italic; -} +} img { border: 1px solid #EEEEEE; } .table-of-content .toc { - font-size: 0.7em; + font-size: 0.9em; } .last_updated a { color: black;