[Summary view] [Print] [Text view]

   1  
   2  .token-tree {
   3    font-size: 0.85em;
   4    margin-left: 19px;
   5  }
   6  
   7  .token-tree td, .token-tree th {
   8    padding-top: 0;
   9    padding-bottom: 0;
  10  }
  11  
  12  .token-group {
  13    font-weight: bold;
  14  }
  15  
  16  .js .token-group {
  17    font-weight: normal;
  18  }