body {
  behavior: url("/htc/context_body.htc");
}

.contextmenu {
  display: none;
  border-style: outset;
  border-width: 2px;
  text-align: left;
  position: absolute;
  top: 0;
  left: 0;
  cursor: default;
  background-color: Menu;
  behavior: url("/htc/context_menu.htc");
}

.contextmenu a {
  padding: 0.2em 1.3em 0.3em 0.1em;
  display: block;
  font: menu;
  color: MenuText;
  background-color: Menu;
  cursor: default;
  white-space: nowrap;
}

.contextmenu a:visited, .contextmenu a:active, .contextmenu a:link {
  display: block;
  font: menu;
  color: MenuText;
  background-color: Menu;
  cursor: default;
}

.contextmenu a:hover {
  display: block;
  font: menu;
  color: HighlightText;
  background-color: Highlight;
  cursor: default;
}

.contextmenu a span {
  width: 1.2em;
  font-family: Marlett, "Marlett Embedded", sans-serif;
  font-size: 10pt;
  margin-bottom: -0.2em;
}

.contextmenu hr {
  width: 1px; /* must be too narrow, real width set by expression */
  margin: -2px 2px;
}