diff --git a/docs/theme/docker/static/css/main.css b/docs/theme/docker/static/css/main.css
index 605dfc9774..085c9dcd47 100755
--- a/docs/theme/docker/static/css/main.css
+++ b/docs/theme/docker/static/css/main.css
@@ -186,8 +186,15 @@ body {
.main-row {
margin-top: 40px;
}
+.sidebar {
+ width: 215px;
+ float: left;
+}
.main-content {
padding: 16px 18px inherit;
+ margin-left: 230px;
+ /* space for sidebar */
+
}
/* =======================
Social footer
@@ -410,7 +417,7 @@ dt:hover > a.headerlink {
.admonition.seealso {
border-color: #23cb1f;
}
-
+/* Add styles for other types of comments */
.versionchanged,
.versionadded,
.versionmodified,
@@ -418,15 +425,12 @@ dt:hover > a.headerlink {
font-size: larger;
font-weight: bold;
}
-
.versionchanged {
color: lightseagreen;
}
-
.versionadded {
color: mediumblue;
}
-
.deprecated {
color: orangered;
}
diff --git a/docs/theme/docker/static/css/main.less b/docs/theme/docker/static/css/main.less
index ce18a387a6..1957280f27 100644
--- a/docs/theme/docker/static/css/main.less
+++ b/docs/theme/docker/static/css/main.less
@@ -98,7 +98,6 @@ p a {
}
-
.navbar .brand {
margin-left: 0px;
float: left;
@@ -317,10 +316,18 @@ body {
margin-top: 40px;
}
+.sidebar {
+ width: 215px;
+ float: left;
+}
+
.main-content {
padding: 16px 18px inherit;
+ margin-left: 230px; /* space for sidebar */
}
+
+
/* =======================
Social footer
======================= */
@@ -612,3 +619,26 @@ dt:hover > a.headerlink {
}
+/* Add styles for other types of comments */
+
+.versionchanged,
+.versionadded,
+.versionmodified,
+.deprecated {
+ font-size: larger;
+ font-weight: bold;
+}
+
+.versionchanged {
+ color: lightseagreen;
+}
+
+.versionadded {
+ color: mediumblue;
+}
+
+.deprecated {
+ color: orangered;
+}
+
+