table.wookee-expandable a.wookee-expandable-label {
  border: 1px solid;
  text-decoration: none;
  margin-left: 3px;
  padding-left: 3px;
  padding-right: 2px;
  font-weight: bold;
  cursor: pointer;
  cursor: hand; /* IE5 work-around */
}

table.wookee-expandable a.wookee-expandable-label:hover {
  border: 2px solid;
  padding-left: 2px;
  padding-right: 1px;
}

div.wookee-expandable-body {
  padding: 9px 13px 3px 13px;
  border: 1px dashed;
  margin-bottom: 16px;
}

div.wookee-expandable-body > pre.uscript {
  margin-top: 5px;
}

.expandable {
  /* empty CSS class for expandable.js */
}