aboutsummaryrefslogtreecommitdiff
path: root/haddock-api/resources/html/Linuwial.std-theme
diff options
context:
space:
mode:
authorXia Li-yao <Lysxia@users.noreply.github.com>2019-02-27 21:53:27 -0500
committerAlec Theriault <alec.theriault@gmail.com>2019-02-27 21:53:27 -0500
commit59843f9e3d222901421a92fff793a1e031f38f65 (patch)
treedc80ea5a4194a6f38598b19bfea42a78ccf1d27f /haddock-api/resources/html/Linuwial.std-theme
parent5d45da4898f7e8e7a1637b4cd473c393063034a0 (diff)
Menu item controlling which instances are expanded/collapsed (#1007)
Adds a menu item (like "Quick Jump") for options related to displaying instances. This provides functionality for: * expanding/collapsing all instances on the currently opened page * controlling whether instances are expanded/collapsed by default * controlling whether the state of instances should be "remembered" This new functionality is implemented in Typescript in `details-helper`. The built-in-themes style switcher also got a revamp so that all three of QuickJump, the style switcher, and instance preferences now have the same style and implementation structure. See also: https://mail.haskell.org/pipermail/haskell-cafe/2019-January/130495.html Fixes #698. Co-authored-by: Lysxia <lysxia@gmail.com> Co-authored-by: Nathan Collins <conathan@galois.com>
Diffstat (limited to 'haddock-api/resources/html/Linuwial.std-theme')
-rw-r--r--haddock-api/resources/html/Linuwial.std-theme/linuwial.css43
1 files changed, 10 insertions, 33 deletions
diff --git a/haddock-api/resources/html/Linuwial.std-theme/linuwial.css b/haddock-api/resources/html/Linuwial.std-theme/linuwial.css
index 7ae19a93..330c605a 100644
--- a/haddock-api/resources/html/Linuwial.std-theme/linuwial.css
+++ b/haddock-api/resources/html/Linuwial.std-theme/linuwial.css
@@ -468,42 +468,10 @@ table.info {
text-align: right;
}
-div#style-menu-holder {
- position: relative;
- z-index: 2;
- display: inline;
-}
-
-#style-menu {
- position: absolute;
- z-index: 1;
- overflow: visible;
- background: #374c5e;
- margin: 0;
- text-align: center;
- right: 0;
- padding: 0;
- top: 1.25em;
-}
-
#style-menu li {
- display: inline-block;
+ display: block;
border-style: none;
- margin: 0;
- padding: 0;
- color: #000;
list-style-type: none;
- border-top: 1px solid #919191
-}
-
-#style-menu li + li {
- border-left: 1px solid #919191;
-}
-
-#style-menu a {
- width: 6em;
- padding: 3px;
- display: block;
}
#footer {
@@ -896,3 +864,12 @@ div#style-menu-holder {
}
/* @end */
+
+/* @group Dropdown menus */
+
+#preferences-menu, #style-menu {
+ width: 25em;
+ overflow-y: auto;
+}
+
+/* @end */