div.def-list div.table { display: table }
div.def-list div.row { display: table-row }
div.def-list div.cell { display: table-cell; padding-left: 0.25em; padding-right: 0.25em }

div.def-list div.two-column div.cell {
    width: 50% }

div.one-column div.cell.spanning { width: 100% }

div.branding { text-align: center }


div.def-list { border-spacing: 0.25em }

div.def-list div.cell { vertical-align: top;
/*   border-bottom: thin solid black; */
  padding-bottom: 0.5em }

div.def-list div.def-list-head {
  text-align: left }

/* text decoration */
.label { font-weight: bold; font-family: sans-serif; font-size: 80% }

.monospace {
	font-family: monospace;
	}

.overline{
	text-decoration: overline;
	}
 
a       { text-decoration: none }
a:hover { text-decoration: underline }

.affiliations { padding: 0px 10px 12px 20px; }

/* ---------------- End ------------------------------ */