blockquote {
  margin-top: 1ex;
  margin-right: 0;
  margin-bottom: 1ex;
  margin-left: 0;
  padding-left: 1em;
  border-left: medium outset;
}
kbd {
  text-decoration: underline;
}
.abstract {
  margin-left: 2em;
  font-style: italic;
}
dl.compact > dt {
  display: compact;
}
.add {
  border-style: outset;
  padding: 0.5em;
}
.fixed-scale td {
  text-align: right;
  padding-right: 0.1em;
}