/* */

body {
  margin: 40px 5%;
  font-family: Helvetica, sans-serif;
}

h2 {
  margin-top: 2em;
}

p, dl {
  max-width: 50em;
}

dt {
  margin: 5px 10px;
  padding: 0;
  font-weight: bold;
}

dd {
  margin: 5px 10px 5px 2em;
  padding: 0;
}

dd.abstract {
  display: none;
}
/*
dd.abstract:before {
  content: "abstract: "
}
*/
/*
body#index dl {
  border: 1px solid black;
  margin-left: 2em;
  margin-bottom: 1.5em;
}

body#index dt {
  margin-top: -0.5em;
  margin-left: -1.3em;
  padding: 5px;
  border: 1px solid black;
  background-color: white;
}

body#index dd {
  margin-left: 10px;
}
   */