diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index f54ccea..a49aa94 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -2,7 +2,7 @@ name: Deploy Sphinx documentation to Github Pages
 
 on:
   push:
-    branches: [main, basic_dialect_docs] # branch to trigger deployment
+    branches: [main] # branch to trigger deployment
 
 jobs:
   pages:
diff --git a/docs/requirements.txt b/docs/requirements.txt
new file mode 100644
index 0000000..f830648
--- /dev/null
+++ b/docs/requirements.txt
@@ -0,0 +1,2 @@
+sphinx_rtd_theme==2.0.0
+sphinx-copybutton==0.5.2