style/dtc-index.css

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