Fixes the docs generation for tagged releases (#2878)

Signed-off-by: Tao He <[email protected]>

Author: sighingnow

.github/workflows/docs.yml

@@ -7,6 +7,8 @@ on:
       - main
       - docs
       - dev/docs
+    tags:
+      - "v*"
   pull_request_target:
     branches:
       - main
@@ -224,8 +226,8 @@ jobs:
         shopt -s extglob
         rm google-java-format-1.13.0-all-deps.jar* || true
 
-        git config user.email github-actions@github.com
-        git config user.name github-actions
+        git config user.name "github-actions[bot]"
+        git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
 
         tag=$(git describe --exact-match --tags HEAD 2>/dev/null || true)
 
@@ -258,6 +260,6 @@ jobs:
         rm -rf ../analytical_engine/java || true
 
         git add -A
-        git commit --amend --no-edit -m "Generate latest docs on CI, from commit ${{ github.sha }}." --author "github-actions <github-actions@github.com>" -s --date="$(date -R)"
+        git commit --amend --no-edit -m "Generate latest docs on CI, from commit ${{ github.sha }}." --author "github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>" -s --date="$(date -R)"
         git push -f origin gh-pages
 

docs/Makefile

@@ -41,7 +41,7 @@ clean:
 	cd ${WORKING_DIR}/../analytical_engine/java && \
 	mvn -P javadoc javadoc:aggregate -Dmaven.antrun.skip=true -DskipTests -Djavadoc.output.directory=${WORKING_DIR}/$(BUILDDIR)/${TAG}/$@/reference -Djavadoc.output.destDir=gae_java --quiet \
 
-	@echo "Building Java doc to $(BUILDDIR)/${TAG}/$@/reference/flex"
+	@echo "Building Flex doc to $(BUILDDIR)/${TAG}/$@/reference/flex"
 	@doxygen Doxyfile-flex
 
 doxygen:

docs/_static/css/rst-versions.css

@@ -16,16 +16,18 @@
 
 .rst-versions-ver {
     /* bottom: 128px !important; */
-    bottom: 100px !important;
+    height: 6rem !important;
+    bottom: 6rem !important;
 }
 
 .rst-versions.rst-versions-ver .rst-current-version {
 	padding: 10px 0 12px 10px;
 }
 
 .rst-versions-lang {
-    /* height: 128px !important; */
-	bottom: 1rem !important;;
+    height: 5rem !important;
+	bottom: 0 !important;;
+	padding-bottom: 1rem !important;
 }
 
 .rst-versions {