From dd8a815327209198ee68f3174cdc960acd313e37 Mon Sep 17 00:00:00 2001
From: Marian Beermann <public@enkore.de>
Date: Sat, 17 Jun 2017 12:35:24 +0200
Subject: [PATCH] docs: html: format `option values` like in man pages

---
 docs/borg_theme/css/borg.css | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/docs/borg_theme/css/borg.css b/docs/borg_theme/css/borg.css
index 0f97bc369..ae4ce24c6 100644
--- a/docs/borg_theme/css/borg.css
+++ b/docs/borg_theme/css/borg.css
@@ -68,3 +68,13 @@ p .literal span {
     color: black; /* slight contrast with #404040 of regular text */
     background: none;
 }
+
+cite {
+    white-space: nowrap;
+    color: black; /* slight contrast with #404040 of regular text */
+    font-size: 75%;
+    font-family: Consolas,"Andale Mono WT","Andale Mono","Lucida Console","Lucida Sans Typewriter",
+    "DejaVu Sans Mono","Bitstream Vera Sans Mono","Liberation Mono","Nimbus Mono L",Monaco,"Courier New",Courier,monospace;
+    font-style: normal;
+    text-decoration: underline;
+}