diff --git a/.github/workflows/publish_docs.yml b/.github/workflows/publish_docs.yml index e62cf1e51..bd8a4b600 100644 --- a/.github/workflows/publish_docs.yml +++ b/.github/workflows/publish_docs.yml @@ -28,6 +28,6 @@ jobs: branch: gh-pages folder: docs/build target-folder: . - clean: false + clean: true clean-exclude: | *.*.*/ diff --git a/docs/src/css/custom.css b/docs/src/css/custom.css index 3c8d7bb7f..8ae8d0204 100644 --- a/docs/src/css/custom.css +++ b/docs/src/css/custom.css @@ -65,6 +65,8 @@ table { * where they end */ .tabs-container { - background: rgba(100, 100, 100, 0.2); + background: rgba(100, 100, 100, 0.1); padding-bottom: 1.5rem; + padding-left: 1.5rem; + border-radius: 5px; }