From 3fef9c1169b8aa8780708c2ffce5cf2432965524 Mon Sep 17 00:00:00 2001 From: Nigel Date: Tue, 30 Dec 2025 19:41:12 +0000 Subject: [PATCH] Fix minor CSS niggles 1. Change p margins to exactly 0.5 (used to be different for historical reasons). 2. Add `text-indent:0` to center class to avoid problems if user sets text-indent on paragraphs --- src/guiguts/data/html/html_header.txt | 6 +++--- tests/expected/htmlconvert1.txt | 6 +++--- tests/expected/htmlconvert2.txt | 6 +++--- 3 files changed, 9 insertions(+), 9 deletions(-) diff --git a/src/guiguts/data/html/html_header.txt b/src/guiguts/data/html/html_header.txt index 75d42cd4..26799088 100644 --- a/src/guiguts/data/html/html_header.txt +++ b/src/guiguts/data/html/html_header.txt @@ -20,9 +20,9 @@ h1,h2,h3,h4,h5,h6 { } p { - margin-top: .51em; + margin-top: .5em; text-align: justify; - margin-bottom: .49em; + margin-bottom: .5em; } .p2 {margin-top: 2em;} @@ -143,7 +143,7 @@ blockquote { .bbox {border: 2px solid;} -.center {text-align: center;} +.center {text-align: center; text-indent: 0;} .right {text-align: right;} diff --git a/tests/expected/htmlconvert1.txt b/tests/expected/htmlconvert1.txt index 4e67d476..b43f7591 100644 --- a/tests/expected/htmlconvert1.txt +++ b/tests/expected/htmlconvert1.txt @@ -20,9 +20,9 @@ h1,h2,h3,h4,h5,h6 { } p { - margin-top: .51em; + margin-top: .5em; text-align: justify; - margin-bottom: .49em; + margin-bottom: .5em; } .p2 {margin-top: 2em;} @@ -143,7 +143,7 @@ blockquote { .bbox {border: 2px solid;} -.center {text-align: center;} +.center {text-align: center; text-indent: 0;} .right {text-align: right;} diff --git a/tests/expected/htmlconvert2.txt b/tests/expected/htmlconvert2.txt index 01e37672..6a1c0d78 100644 --- a/tests/expected/htmlconvert2.txt +++ b/tests/expected/htmlconvert2.txt @@ -20,9 +20,9 @@ h1,h2,h3,h4,h5,h6 { } p { - margin-top: .51em; + margin-top: .5em; text-align: justify; - margin-bottom: .49em; + margin-bottom: .5em; } .p2 {margin-top: 2em;} @@ -143,7 +143,7 @@ blockquote { .bbox {border: 2px solid;} -.center {text-align: center;} +.center {text-align: center; text-indent: 0;} .right {text-align: right;}