style/dtc-index.css

   1 /* .index */
   2         .iref:target {
   3                 background-color:#BFEFFF;
   4          }
   5         .index {
   6                 margin-top:2ex;
   7                 page-break-before:avoid;
   8                 display:inline-block;
   9          }
  10         .section-header + .index {
  11                 margin-top:0;
  12          }
  13         .index .index-nav {
  14                 font-weight:bold;
  15                 line-height:150%;
  16                 margin-left:0;
  17                 padding:0 0 0 0;
  18          }
  19         .index .index-chars > dt > a,
  20         .index .index-nav a {
  21                 border:1px solid black;
  22                 display:inline-block;
  23                 margin-bottom:3px;
  24                 padding-bottom:.5ex;
  25                 padding-top:.5ex;
  26                 text-align:center;
  27                 width:3em;
  28          }
  29         .index .index-nav a {
  30                 margin-right:1ex;
  31          }
  32         .index dl.index-chars {
  33                 margin-top:0;
  34          }
  35         .index dl.index-chars > dt {
  36                 clear:left;
  37                 display:inline-block;
  38                 float:left;
  39                 font-weight:bold;
  40                 margin-bottom:3px;
  41                 margin-right:2em;
  42                 margin-top:2ex;
  43                 page-break-after:avoid;
  44          }
  45         .index dl.index-chars > dd {
  46                 display:inline-block;
  47                 float:left;
  48                 margin-left:0;
  49                 margin-top:2ex;
  50          }
  51         .index dl.index-chars > dt > :target {
  52                 background-color:#BFEFFF;
  53          }
  54         .index dl.index-term {
  55          }
  56         .index dl.index-term > dt {
  57          }
  58         .index dl.index-term > dd {
  59                 margin-left:0;
  60                 font-size:70%;
  61          }
  62         .index ul.index-aliases {
  63                 padding-left:0;
  64                 list-style:none;
  65          }
  66         .index ul.index-aliases > li {
  67                 line-height:120%;
  68          }
  69         .index .index-iref {
  70                 background-color:#F4F2E2;
  71                 position:relative;
  72                 vertical-align:baseline;
  73          }
  74         @media print {
  75                 .index {
  76                         column-count:2;
  77                         -moz-column-count:2;
  78                         column-fill:auto;
  79                  }
  80                 .index li li a {
  81                         content:target-counter(attr(href), page);
  82                  }
  83                 .index .index-nav {
  84                         display:none;
  85                  }
  86          }