body {
  max-width        : 40em;
  margin-left      : auto;
  margin-right     : auto;
  /*
  font             : message-box;
  */
  color            : WindowText;
  background-color : Window;
  padding          : 1em;
  text-align       : justify;
  }
dt {
  padding          : 1ex 1em;
  border           : medium groove;
  }
dd, dd * {
  /*
  font             : status-bar;
  */
  background-color : InfoBackground;
  color            : InfoText;
  margin-bottom    : 0em;
  }
dd {
  padding          : 1ex;
  border-left      : thin dotted;
  border-right     : thin dotted;
  /* max-height       : 1.1em;
  overflow         : hidden; */
  }
dd:hover, dd:active, dd:focus {
  max-height       : inherit;
  }
span.explain {
  border-bottom    : thin dotted;
  }
  /* Make links look like O/S-style buttons */
a:link, .button {
  border           : thin outset;
  /*
  background       : ThreeDFace;
  color            : ButtonText;
  font             : caption;
  */
  }
a:visited {
  border           : thin outset;
  color            : GrayText;
  /*
  background       : ThreeDFace;
  font             : caption;
  */
  }
a:hover {
  border           : thin inset;
  background       : HighlightText;
  color            : Highlight;
  /*
  font             : caption;
  */
  }
a:focus {
  border           : thin inset;
  background       : HighlightText;
  color            : Highlight;
  /*
  font             : caption;
  */
  }
a:active {
  border           : thin inset;
  background       : HighlightText;
  color            : Highlight;
  /*
  font             : caption;
  */
  }
.fade {
  color            : GrayText;
  font-size        : x-small;
}