From bccebca359ac3ea25f375269111931cf15a3967f Mon Sep 17 00:00:00 2001
From: Jamil <jamilbk@users.noreply.github.com>
Date: Mon, 17 Oct 2022 10:40:28 -0700
Subject: [PATCH] Try cleaning docs (#1034)

---
 .github/workflows/publish_docs.yml | 2 +-
 docs/src/css/custom.css            | 4 +++-
 2 files changed, 4 insertions(+), 2 deletions(-)

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;
 }