From 1205c1e7806d4e84e03aafc94831248cbfa9b1c8 Mon Sep 17 00:00:00 2001
From: rebortg <github@ghlr.de>
Date: Fri, 12 Aug 2022 10:54:10 +0200
Subject: add :defaultvalue: option

(cherry picked from commit b09f2222ed6181ba377a41de37a3997559a234c8)
---
 docs/_static/css/custom.css | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'docs/_static/css/custom.css')

diff --git a/docs/_static/css/custom.css b/docs/_static/css/custom.css
index 331a7720..7498b44d 100644
--- a/docs/_static/css/custom.css
+++ b/docs/_static/css/custom.css
@@ -87,6 +87,12 @@ span.opcmd:before {
     display: none;
 }
 
+.defaultvalue{
+  font-size: 90%;
+  color: gray;
+  margin-bottom: 5px;
+
+}
 
 a.cmdlink {
     font-size: 80%;
-- 
cgit v1.2.3