diff options
Diffstat (limited to 'public/css/extra.css')
-rw-r--r-- | public/css/extra.css | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/public/css/extra.css b/public/css/extra.css index 8e137975..96cdac3d 100644 --- a/public/css/extra.css +++ b/public/css/extra.css @@ -154,6 +154,14 @@ color: #767676; } +.ui-toc-dropdown .toc.expand ul { + display: block; +} + +.ui-toc-dropdown .nav > li:first-child:nth-last-child(1) > ul { + display: block; +} + .ui-toc-dropdown .nav>li>a:focus,.ui-toc-dropdown .nav>li>a:hover { padding-left: 19px; color: black; @@ -281,7 +289,7 @@ overflow: auto; } -.back-to-top, .go-to-bottom { +.expand-toggle, .back-to-top, .go-to-bottom { display: block; padding: 4px 10px; margin-top: 10px; @@ -291,12 +299,12 @@ color: #999; } -.back-to-top:hover, .back-to-top:focus, .go-to-bottom:hover, .go-to-bottom:focus { +.expand-toggle:hover, .expand-toggle:focus, .back-to-top:hover, .back-to-top:focus, .go-to-bottom:hover, .go-to-bottom:focus { color: #563d7c; text-decoration: none; } -.go-to-bottom { +.back-to-top, .go-to-bottom { margin-top: 0; } |