From 725b641d87a45c293737b8fb70e32696436347e9 Mon Sep 17 00:00:00 2001 From: Venugopal Shivashankar Date: Wed, 7 Dec 2022 15:20:40 +0100 Subject: [PATCH] Doc: Add margins to all anchors in a translated page MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Google translate drops the space around the non-translatable inline text. This should ensure that inline anchors have extra margins. Change-Id: I1c204a9a27d0a39256ef04aa3f03ba1b8433aa54 Done-with: Topi Reinio Reviewed-by: Topi Reiniƶ --- doc/global/template/style/online.css | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/doc/global/template/style/online.css b/doc/global/template/style/online.css index 23d387430eb..33487355d2a 100644 --- a/doc/global/template/style/online.css +++ b/doc/global/template/style/online.css @@ -1569,3 +1569,9 @@ a.plink { a.plink::before { content:'\00B6' } + +/* Add margin for all anchor tags in a translated page */ +html.translated-ltr .mainContent p a, +html.translated-rtl .mainContent p a { + margin:0 2px 0 2px; +}