From b134511e1577369742d1be374a658c96894ff341 Mon Sep 17 00:00:00 2001
From: Valdnet <47037905+Valdnet@users.noreply.github.com>
Date: Mon, 14 Dec 2020 09:26:28 +0100
Subject: [PATCH] Change code tag to bold

---
 user_manual/files/access_webdav.rst | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/user_manual/files/access_webdav.rst b/user_manual/files/access_webdav.rst
index 8b8a9b855..3bf1b1e14 100644
--- a/user_manual/files/access_webdav.rst
+++ b/user_manual/files/access_webdav.rst
@@ -350,8 +350,8 @@ To access the public share, open::
 in a WebDAV client, use the share token as username and the (optional) share password
 as password.
 
-.. note:: ``Settings → Administration → Sharing → Allow users on this
-   server to send shares to other servers``. This option also allows WebDAV access
+.. note:: **Settings** → **Administration** → **Sharing** → **Allow users on this
+   server to send shares to other servers**. This option also allows WebDAV access
    to public shares needs to be enabled in order to make this feature work.
 
 Known problems