diff --git a/server.py b/server.py
index f878b402a18363f090f5e06f82e39a4dc74158f1..fcc96ff15a14078f03286d8ab19c073240869ed4 100755
--- a/server.py
+++ b/server.py
@@ -27,7 +27,7 @@ from shared import (
     date_filter_short, time_filter, time_filter_short, user_manager,
     security_manager, current_user, check_login, login_required,
     class_filter, needs_date_test, todostate_name_filter,
-    code_filter, indent_tab_filter)
+    code_filter, code_key_filter, indent_tab_filter)
 from utils import (
     get_first_unused_int, get_etherpad_text, split_terms, optional_int_arg,
     fancy_join, footnote_hash, get_git_revision, get_max_page_length_exp,
@@ -84,6 +84,7 @@ app.jinja_env.filters["datify_long"] = date_filter_long
 app.jinja_env.filters["class"] = class_filter
 app.jinja_env.filters["todo_get_name"] = todostate_name_filter
 app.jinja_env.filters["code"] = code_filter
+app.jinja_env.filters["code_key"] = code_key_filter
 app.jinja_env.filters["indent_tab"] = indent_tab_filter
 app.jinja_env.filters["fancy_join"] = fancy_join
 app.jinja_env.filters["footnote_hash"] = footnote_hash
diff --git a/shared.py b/shared.py
index 83c3ed00611ab12345df0489de2b130dc0f279e1..bed265b37a52065ea2019b5c98e8e10bfb75d6d4 100644
--- a/shared.py
+++ b/shared.py
@@ -123,6 +123,8 @@ def class_filter(obj):
 def code_filter(text):
     return "<code>{}</code>".format(text)
 
+def code_key_filter(text):
+    return '<code class="highlight" style="color: inherit;"><span class="kr">{}</span></code>'.format(text)
 
 from auth import UserManager, SecurityManager, User
 max_duration = getattr(config, "AUTH_MAX_DURATION")
diff --git a/templates/documentation-syntax-internal.html b/templates/documentation-syntax-internal.html
index 1d7c2f320c1cc06c1ae23680b2d828225868da59..3902e464ccdadc46e3f04eac588520ac7631e88b 100644
--- a/templates/documentation-syntax-internal.html
+++ b/templates/documentation-syntax-internal.html
@@ -15,7 +15,7 @@
 	<div class="row">
         <div class="col-sm-9">
 			<p>
-			Der interne Abschnitt wird eingeleitet mit einem der folgenden Wörter ({{config.PRIVATE_KEYWORDS|map("code")|join(" ")|safe}}) gefolgt von den üblichen geschweiften Klammern <code>{ ... }</code> einer Liste. Zwischen den Klammern wird wie gewöhnlich protokolliert.
+			Der interne Abschnitt wird eingeleitet mit einem der folgenden Wörter ({{config.PRIVATE_KEYWORDS|map("code_key")|join(" ")|safe}}) gefolgt von den üblichen geschweiften Klammern <code>{ ... }</code> einer Liste. Zwischen den Klammern wird wie gewöhnlich protokolliert.
 			</p>
 			<div class="panel panel-default">
 				<div class="panel-heading">