You are here

Home » API reference » TOC filter 7

toc_filter.css in TOC filter 7

Same filename and directory in other branches
  1. 6 toc_filter.css

Table of content module styling

File

toc_filter.css
View source 
  1. /**

  2.  * @file

  3.  * Table of content module styling

  4.  */

  5. 

  6. a.toc-filter-top /* Hide top anchor from page rendering */ {

  7.   height: 0;

  8.   width: 0;

  9.   overflow: hidden;

  10.   display: block;

  11. }

  12. 

  13. div.toc-filter,

  14. div.toc-filter-bullet,

  15. div.toc-filter-number,

  16. div.toc-filter-faq {}

  17. 

  18. div.toc-filter-content {

  19.   clear: both;

  20.   margin: 1em 0;

  21.   border: 1px solid #ccc;

  22.   padding: 1em;

  23.   background-color: #eee;

  24. }

  25. 

  26. div.toc-filter .item-list > h3 {

  27.   margin-top: 0;

  28. }

  29. 

  30. div.toc-filter-content ul,

  31. div.toc-filter-content ol {

  32.   margin-top: 0;

  33.   margin-bottom: 0;

  34. }

  35. 

  36. h2 span.toc-filter-number,

  37. h3 span.toc-filter-number {

  38.   float: left;

  39.   display: block;

  40.   color: #999;

  41.   width: 1.5em;

  42. }

  43. 

  44. /* back to top */

  45. div.toc-filter-back-to-top {

  46.   clear: both;

  47.   border-top: 1px solid #ccc;

  48.   margin: 1em 0;

  49. }

  50. 

  51. div.toc-filter-back-to-top.first {

  52.   border-top: none;

  53. }

  54. 

  55. div.toc-filter-back-to-top a:link,

  56. div.toc-filter-back-to-top a:visited {

  57.   float: right;

  58.   display: block;

  59.   font-weight: bold;

  60. }

  61. 

  62. div.toc-filter-jump-menu > form /* Must hide the 
     and not the parent 
     which also hides the 
  63.   display: none;

  64. }

  65. 

  66. html.js div.toc-filter-jump-menu > form {

  67.   display: block;

  68. }