@import "/plain_style.css";
dt {
  margin-top: 2ex;
  font-weight: bold
}
p.indent {
  margin-left: 4ex
}
span.signature {
  font-style: italic;
}
div.ruler {
    border-top-style: solid;
    border-top-width: 1px;
}
h1 {
    text-align: center;
}
ul.shortcuts {
    margin-left: 0;
    padding-left: 0;
    text-align: center;
}
ul.shortcuts li {
    display: inline;
}