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