vdoc: add hr style

vlang · Oct 22, 2023 · 848a4c5 · 848a4c5
1 parent 65dd69c
commit 848a4c5
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 6 deletions.
diff --git a/cmd/tools/vdoc/theme/doc.css b/cmd/tools/vdoc/theme/doc.css
@@ -93,6 +93,13 @@ body {
 	color: var(--text-color);
 	height: 100%;
 }
+hr {
+	height: 0.25rem;
+	background-color: var(--title-bottom-line-color);
+	border: 0;
+	padding: 0;
+	margin: 1.2rem 0;
+}
 #page {
 	height: 100%;
 	padding-top: 56px;

diff --git a/cmd/tools/vdoc/theme/normalize.css b/cmd/tools/vdoc/theme/normalize.css
@@ -13,12 +13,6 @@ h1 {
 	margin: 0.67em 0;
 }
 
-hr {
-	box-sizing: content-box;
-	height: 0;
-	overflow: visible;
-}
-
 pre {
 	font-family: monospace, monospace;
 	font-size: 1em;