From 34c87d40ed896fae867551ebc1faf017f185c973 Mon Sep 17 00:00:00 2001 From: "Mr.doob" Date: Thu, 12 Aug 2021 16:19:05 +0100 Subject: [PATCH] Diff page clean up. --- server/assets/diff.html | 24 +++++++----------------- 1 file changed, 7 insertions(+), 17 deletions(-) diff --git a/server/assets/diff.html b/server/assets/diff.html index e027029..745859a 100644 --- a/server/assets/diff.html +++ b/server/assets/diff.html @@ -13,12 +13,13 @@ background-color: #000000; font: 12px Arial, Helvetica, sans-serif; color: #888; - padding: 20px; + margin: 20px; } h2 { font-size: 12px; text-transform: uppercase; font-weight: normal; + margin: 0px; padding-bottom: 20px; } a, a:visited { @@ -47,17 +48,8 @@ text-align: center; clear: both; } - .textInput { - display: block; - width: 49%; - float: left; - } - .spacer { - margin-left: 10px; - } #diffoutput { width: 100%; - margin-top: 1em; } /* give jsdiffview the dark theme */ table.diff { @@ -100,7 +92,7 @@ -

diff

+

Loading...