#document-title {
  margin-bottom: 1em;
}
#change-context {
  float: right;
  padding-top: 0.5em;
}
#goto-select optgroup {
  margin: 0.5ex;
}

#syntax-page-content {
  margin-left: 15em;
}
#syntax-page-content table {
  width: 99%;
}
#syntax-page-content>h3 {
  display: none;
}
#syntax-page-content>h3.sectionheader {
  display: block;
}

/*******************************************************/

.syntax-menu .generalIcon {
  background-image: url("../../resources/icons/silk/page_white_code.gif");
}

.syntax-menu .editingIcon {
  background-image: url("../../resources/icons/silk/page_white_edit.gif");
}

.syntax-menu .advancedIcon {
  background-image: url("../../resources/icons/silk/wand.gif");
}

.syntax-menu .programmingIcon {
  background-image: url("../../resources/icons/silk/page_white_gear.gif");
}

/* Firefox panics when it has an overflowing table but the content is pre-formatted. */
tbody>tr>td>tt {
    white-space: normal !important;
}
