diff --git a/docs/administrator/installation/debian.md b/docs/administrator/installation/debian.md
index 2cfbdcaa0..2b2288c45 100644
--- a/docs/administrator/installation/debian.md
+++ b/docs/administrator/installation/debian.md
@@ -323,6 +323,7 @@ Nginx isn't preinstalled on Debian. You can install it by running the following
 $ sudo apt update
 $ sudo apt install nginx
 ```
+
 :::
 
 % Nginx update instructions
diff --git a/docs/administrator/installation/docker.md b/docs/administrator/installation/docker.md
index b3a3869ed..60eb3c74b 100644
--- a/docs/administrator/installation/docker.md
+++ b/docs/administrator/installation/docker.md
@@ -176,6 +176,7 @@ Nginx isn't preinstalled on Debian. You can install it by running the following
 $ sudo apt update
 $ sudo apt install nginx
 ```
+
 :::
 
 % Nginx update instructions
diff --git a/docs/conf.py b/docs/conf.py
index 841d91b83..c04e78ee2 100755
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -257,4 +257,4 @@ gettext_compact = False
 
 # Don't copy prompts with copybutton
 
-copybutton_exclude = '.linenos, .gp'
+copybutton_exclude = ".linenos, .gp"