summaryrefslogtreecommitdiff
path: root/api-docs/cppdocs/custom.css
diff options
context:
space:
mode:
authorkat <katherine@vector35.com>2022-10-17 12:37:02 -0400
committerKyle Martin <krm504@nyu.edu>2022-10-17 19:55:39 -0400
commit070b1a17dd32a673fd96e645d47dd0ca3bf764c6 (patch)
tree0e2e4d864dde75bb0e6391f0f070682e75edeeea /api-docs/cppdocs/custom.css
parentd41f2296da756d3f1916f70fb1db2f67f1549b7c (diff)
[C++ docs] Several fixes, improvements, additions, and general cleanup
- Sort documentation into groups (aka. modules) - Add DataRenderer, BinaryView, InstructionTextToken, Others docs - Fixes stylesheet for documentation website - New 'Deprecated' section listing deprecated items - Re-add 'Files' listing - Add a 'Main page' and restructure the navbar
Diffstat (limited to 'api-docs/cppdocs/custom.css')
-rw-r--r--api-docs/cppdocs/custom.css33
1 files changed, 28 insertions, 5 deletions
diff --git a/api-docs/cppdocs/custom.css b/api-docs/cppdocs/custom.css
index e977a5b7..11997bbe 100644
--- a/api-docs/cppdocs/custom.css
+++ b/api-docs/cppdocs/custom.css
@@ -43,13 +43,8 @@ html {
--primary-color: #c74433!important;
--primary-dark-color: #d0584d !important;;
--primary-light-color: #a2382a !important;;
- --side-nav-background: #252628 !important;
- --side-nav-foreground: #ffffff !important;
}
-div#projectname {
- color: white;
-}
.paramname {
color: var(--primary-light-color);
}
@@ -72,6 +67,34 @@ input#MSearchField {
top: -1px;
}
+/* Replicating an "undecorated root node" */
+
+.children_ul a.index\.html {
+ display: initial !important;
+}
+
+a.index\.html {
+ display: none;
+}
+
+
+#nav-tree-contents > ul > li > .item {
+ height: 0px;
+}
+
+/* --- */
+
+/* Move the "Deprecated Items" item to the end of the list. */
+#nav-tree-contents > ul > li > ul.children_ul {
+ margin: 0px;
+ padding: 0px;
+ display: flex!important;
+ flex-direction: column!important;
+}
+#nav-tree-contents > ul > li > ul > li:nth-of-type(2) {
+ order: 9999999;
+}
+
/* Basic Mobile functionality fixes */
@media screen and (max-width: 767px) {
div#top {