diff --git a/docs/content/extras/highlighting.md b/docs/content/extras/highlighting.md
index 7c5ce3fa3..a90a72451 100644
--- a/docs/content/extras/highlighting.md
+++ b/docs/content/extras/highlighting.md
@@ -89,6 +89,7 @@ as `header.html` or `header.includes.html`. Simply add:
+
You can of course use your own copy of these files, typically in `./static/`.