/* @license GPL-2.0-or-later https://www.drupal.org/licensing/faq */
a.toc-filter-top{height:0;width:0;overflow:hidden;display:block;}div.toc-filter-contents{clear:both;margin:1em 0;}span.toc-filter-number{display:inline-block;width:1.5em;}div.toc-filter-back-to-top{clear:both;}div.toc-filter-back-to-top hr{margin-bottom:0;}div.toc-filter-back-to-top a:link,div.toc-filter-back-to-top a:visited{float:right;display:block;margin-bottom:1em;}div.toc-filter-menu > form{display:none;}html.js .toc-filter-menu > form{display:block;}.toc-filter-menu select{width:100%;}