/* $Id: token.css,v 1.2.2.2 2010/03/26 00:03:19 davereid Exp $ */

table.token-tree {
  font-size: 0.85em;
}

table.token-tree td, table.token-tree th {
  padding-top: 0;
  padding-bottom: 0;
}