From ea3ffc57bee1a7ef00213f81bf5e07544c1ea9e3 Mon Sep 17 00:00:00 2001
From: Uwe Steinmann <steinm@debian.org>
Date: Tue, 21 Apr 2020 11:57:44 +0200
Subject: [PATCH] set style for dt and dd in div.popupbox

---
 styles/bootstrap/application.css | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/styles/bootstrap/application.css b/styles/bootstrap/application.css
index b954dd931..b8f27dc17 100644
--- a/styles/bootstrap/application.css
+++ b/styles/bootstrap/application.css
@@ -222,6 +222,16 @@ div.popupbox {
 	z-index: 10;
 }
 
+div.popupbox dt {
+	font-weight: normal;
+	font-size: 80%;
+}
+
+div.popupbox dd {
+	margin-left: 0px;
+	margin-bottom: 5px;
+}
+
 div.popupbox span.closepopupbox {
 	position: absolute;
 	right: 5px;