.article {
  width: 50%;
  margin-left: auto;
  margin-right: auto; }
  .article dl {
    border: 3px double #cccccc;
    padding: 0.667em 0.667em 0 0.667em;
    margin: 1.3em; }
    .article dl dt {
      float: left;
      clear: left;
      line-height: 1.3em;
      width: 3em;
      text-align: right;
      font-weight: bold; }
      .article dl dt:after {
        content: ":"; }
    .article dl dd {
      line-height: 1.3em;
      margin-left: 4.3em;
      margin-bottom: 0.667em; }
  .article ul {
    list-style-type: disc;
    margin-left: 1em; }
  .article ol {
    list-style-type: decimal;
    margin-left: 1.5em; }
  .article code {
    font-family: Courier New, monospace;
    font-weight: bold; }