am 42d6e581: fix the \'to top\' link; it wasn\'t appearing due to a previous CSS change

* commit '42d6e58195445617fb739d5363d5f23a7b5d990c':
  fix the 'to top' link; it wasn't appearing due to a previous CSS change
This commit is contained in:
Scott Main 2013-11-21 03:38:48 +00:00 committed by Android Git Automerger
commit 927612f4df

View file

@ -2263,12 +2263,16 @@ a:visited,
/* nav tree */
#side-nav, #devdoc-nav, #swapper,
#side-nav, #swapper,
#nav-tree, #tree-list {
overflow:hidden;
margin-left:0;
}
#devdoc-nav {
overflow:visible !important; /* To keep the "to top" button visible */
}
#nav-tree ul {
list-style:none;
padding:0;