From 20be481ed19186b8a89fd8d095a1847946b2b275 Mon Sep 17 00:00:00 2001 From: William Daniau Date: Mon, 30 Sep 2019 10:17:37 +0200 Subject: [PATCH] Changement des marges du pre --- templates/html/Default.html | 3 +++ templates/html/Default_with_index.html | 3 +++ templates/html/Print.html | 3 +++ 3 files changed, 9 insertions(+) diff --git a/templates/html/Default.html b/templates/html/Default.html index 40cc354..5411e63 100644 --- a/templates/html/Default.html +++ b/templates/html/Default.html @@ -24,6 +24,9 @@ font-size: large} pre { color: darkmagenta; margin-left: 20px; + margin-right: 5px; + margin-bottom: 5px; + margin-top: 5px; font-family: monospace; font-size: large} code { font-size: large; font-family: monospace; color: saddlebrown} diff --git a/templates/html/Default_with_index.html b/templates/html/Default_with_index.html index beefc67..d8e778e 100644 --- a/templates/html/Default_with_index.html +++ b/templates/html/Default_with_index.html @@ -24,6 +24,9 @@ font-size: large} pre { color: darkmagenta; margin-left: 20px; + margin-right: 5px; + margin-bottom: 5px; + margin-top: 5px; font-family: monospace; font-size: large} code { font-size: large; font-family: monospace; color: saddlebrown} diff --git a/templates/html/Print.html b/templates/html/Print.html index 186036c..8485ac9 100644 --- a/templates/html/Print.html +++ b/templates/html/Print.html @@ -24,6 +24,9 @@ font-size: large} pre { color: darkmagenta; margin-left: 20px; + margin-right: 5px; + margin-bottom: 5px; + margin-top: 5px; font-family: monospace; font-size: large} code { font-size: large; font-family: monospace; color: saddlebrown} -- 2.16.4