html {font-family: sans-serif;}

body {min-width: 400px; max-width: 650px; margin: 2em auto;}

h1, h2, h3 {letter-spacing: .125em; font-weight: 600;}
h1 {font-size: 18px; line-height: 1; margin: 1.5em 0 .5em 0;}
h2 {font-size: 16px; line-height: 1.125; margin: 1em 0 .25em 0; clear: both;}
h3 {font-size: 14px; line-height: 1.286; margin: 1em 0 .2em 0; clear: both;}

p, li, dd, blockquote, figcaption {
  font-size: 15px; line-height: 1.2;
  text-align: justify; -moz-hyphens: auto; -webkit-hyphens: auto; hyphens: auto;
  margin: .5em;
}

figcaption {font-size: 14px; line-height: 1.1;}

header {margin: 2em 0 1.5em 0; text-align: center; padding-bottom: 1.2em;}
header h1 {margin: .5em 0 0 0; font-size: 48pt;}
header p {font-size: 24pt;  text-align : center; margin: 0}

.logo {float: left; width: 53%; margin : -21px 1em 0 -108px; }

.intro {margin-top : 10px;}
.abstract { display: block; position: relative;}
svg {margin: 0 auto; display: block;}

.author-list {clear: both; text-align: center; padding: 0; width: 100%; margin: 0;}
.author-list li {display: inline-block; padding: 0 .5ex 0 0; 
                 margin: 0.75em 1.5em;
                 max-width: 33%; text-align: center;}
.author-list a {color: #000000; text-decoration: none;}


.author-list img {
    height: 100px;
    display: block;
    margin: 0 auto .5em auto;
}

pre, dt {padding-left: 2.5em; font-size: 16px; font-family: monospace; background-color: #f1f1f1;}

div.column-container > div {width: 25%; float: left; padding: 0 4%}
div.column-container > div > h3 {margin: auto 10px}
div.column-container > div > ul {list-style: inside none; margin: 0; padding: 0;}

ul {padding-left: 1em;}
a {color: #000000; text-decoration: underline}