make doc copy button permanent

mworion · Mar 22, 2024 · 131b7d9 · 131b7d9
1 parent c4cbdca
commit 131b7d9
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/doc/_static/custom.css b/doc/_static/custom.css
@@ -0,0 +1,3 @@
+button.copybtn {
+   opacity: 1;
+}
diff --git a/doc/conf.py b/doc/conf.py
@@ -79,6 +79,8 @@
 # relative to this directory. They are copied after the builtin static files,
 # so a file named "default.css" will overwrite the builtin "default.css".
 html_static_path = ['_static']
+html_css_files = ["custom.css"]
+
 
 pdf_documents = [('index', u'dbus-seplos', u'dbus-seplos', u'mworion')]
 # index - master document