Try to clean up sidebar a little bit.

2024-03-19 16:24:47 -04:00
parent bc793428e6
commit 3df0039602
3 changed files with 9 additions and 6 deletions
@@ -1060,9 +1060,8 @@ div#sidebar {
  float: left;
  position: sticky;
  top: 5px;
-  width: 200px;
-  max-width: 200px;
-  font-size: 85%;
+  min-width: 200px;
+  font-size: 90%;
 }

 div#sidebar ul {
@@ -1103,11 +1102,11 @@ div#sidebar details summary::-webkit-details-marker {
 }

 div#sidebar details summary::after {
-  content: " ►";
+  content: " [+]";
 }

 div#sidebar details[open] summary::after {
-  content: " ▼";
+  content: " [-]";
 }

@media screen and (max-width: 1140px) {
@@ -1120,4 +1119,8 @@ div#sidebar details[open] summary::after {
  div#content {
    margin-left: 200px;
  }
+
+  div#sidebar {
+    max-width: 200px;
+  }
 }
@@ -285,7 +285,7 @@ create_page_sidebar_section()

 rm -rf "$output_dir";
 mkdir -p "$output_dir";
-cp doc/js/* "$output_dir";
+cp doc/css/* "$output_dir";
 mkdir -p "$output_dir/user/img/";
 cp doc/img/* "$output_dir/user/img/";
 mkdir -p "$output_dir/tutorials/res/";