diff --git a/docs/overrides/main.html b/docs/overrides/main.html
new file mode 100644
index 00000000000..b0f5d7fcf75
--- /dev/null
+++ b/docs/overrides/main.html
@@ -0,0 +1,155 @@
+{% extends "base.html" %} {% block extrahead %} {{ super() }}
+
+
+
+{% endblock %}
diff --git a/docs/overrides/stylesheets/crd.css b/docs/overrides/stylesheets/crd.css
index 83b432def6c..f3eb87b9f6c 100644
--- a/docs/overrides/stylesheets/crd.css
+++ b/docs/overrides/stylesheets/crd.css
@@ -35,14 +35,13 @@ ul.crd-index {
color: #fff;
}
-
dl.crd-meta {
display: flex;
flex-flow: row wrap;
border-bottom: 1px solid #00000012;
}
-[data-md-color-primary=black] dl.crd-meta {
+[data-md-color-primary="black"] dl.crd-meta {
border-bottom: 1px solid #e6e6e612;
}
@@ -62,13 +61,14 @@ dl.crd-meta {
border-top: 1px solid #00000012;
}
-[data-md-color-primary=black] .crd-meta dt, [data-md-color-primary=black] .crd-meta dd {
+[data-md-color-primary="black"] .crd-meta dt,
+[data-md-color-primary="black"] .crd-meta dd {
border-top: 1px solid #e6e6e612;
}
.crd-meta a.version {
font-family: var(--md-code-font-family);
- font-size:
+ font-size: var(--md-code-font-size);
margin-right: 10px;
}
@@ -83,8 +83,9 @@ dl.crd-meta {
margin-left: -0.1em;
}
-.property-description, .property-meta {
- margin: 5px 0
+.property-description,
+.property-meta {
+ margin: 5px 0;
}
.property-title {
diff --git a/docs/scripts/serve-docs.sh b/docs/scripts/serve-docs.sh
index f9c2857420b..e6fd1f1c509 100755
--- a/docs/scripts/serve-docs.sh
+++ b/docs/scripts/serve-docs.sh
@@ -34,7 +34,17 @@ fi
# for local docs testing, we don't care what the remote branch looks like.
MIKE_OPTIONS+=(--ignore-remote-status)
-mike set-default "${MIKE_OPTIONS[@]}" --allow-undefined main
+MIKE_OUTPUT=$(mike list "${MIKE_OPTIONS[@]}" 2>&1)
+
+VERSIONS=$(echo "$MIKE_OUTPUT" | grep -oE '^v[0-9]+\.[0-9]+' 2>/dev/null || true)
+
+if [[ -n "$VERSIONS" ]]; then
+ DEFAULT_VERSION=$(echo "$VERSIONS" | sort -V | tail -1 2>/dev/null || echo "main")
+else
+ DEFAULT_VERSION="main"
+fi
+
+mike set-default "${MIKE_OPTIONS[@]}" --allow-undefined "${DEFAULT_VERSION}"
if [[ -n "${DEV_MODE:-}" ]]; then
mkdocs serve --dev-addr=127.0.0.1:8000 --livereload
else