body {
    font-family: Arial, Helvetica, sansserif;
    font-size: 90%;
    margin: 12px;
}
h1 {
    font-size: 140%;
    margin-top: 0;
}
h2 {
    font-size: 120%;
}
h3 {
    font-size: 110%;
}
a {
    text-decoration: none;
    color: #555;
    font-weight: bold;
}
a:hover {
    text-decoration: underline;
}
.doi {
    color: black;
    text-decoration: none;
}
.doi:hover {
    text-decoration: underline;
}
ul.pub {
    /* Chrome puts the bullet further to the left than Firefox.  With
       padding-left:1.1em, the bullet is just inside the left margin in 
       Chrome and indented by the diameter of the bullet in Firefox. */
    font-size: 80%;
    padding-left: 1.1em;
    margin-top: 3em;
}
ul.pub li {
    /* Chrome doesn't need the padding here but it's too tight in Firefox
       without it. */
    padding-left: 0.25em;
    margin-top: 0.25em;
    margin-bottom: 0.25em;
}
.video {
    text-align: center;
}
.tab {
    display: flex;
    overflow: hidden;
    border: 1px solid #ccc;
    border-radius: 8px 8px 0 0;
    background-color: #f1f1f1;
}
.tab button {
    font-size: 120%;
    /* Repeat the background-color of the parent to make this work in Safari */
    background-color: #f1f1f1;
    border: none;
    outline: none;
    cursor: pointer;
    margin: 0;
    padding: 14px 16px;
    transition: 0.3s;
}
.tab button:hover {
    background-color: #ddd;
}
.tab button.selected {
    background-color: #ccc;
}
.tabcontent {
    display: none;
    padding: 8px;
    border: 1px solid #ccc;
    border-top: none;
    border-radius: 0 0 8px 8px;
    animation: fadein 0.5s;
}
.tabcontent.selected {
    display: block;
}
.tabcontent h2 {
    margin-top: 0.25em;
}
@keyframes fadein {
    from {opacity: 0;}
    to {opacity: 1;}
}
.tabcontent .video video, .tabcontent .video img {
    max-width: 100%;
    object-fit: scale-down;
}
.category-container {
    display: flex;
    align-items: flex-start;
    flex-wrap: wrap;
    margin: -6px;
}
.category {
    display: flex;
    flex-direction: column;
    box-sizing: border-box;
    border: 1px solid #ccc;
    border-radius: 8px;
    margin: 6px;
    padding: 6px 8px 8px;
    width: 320px;
    height: 316px;
    cursor: pointer;
}
.category div:first-child {
    flex-grow: 1;
    margin-bottom: 0.5em;
    overflow: hidden;
}
.category h3 {
    margin-top: 0;
    margin-bottom: 0.5em;
    font-size: 110%;
}
.category h3 a {
    color: #555;
    text-decoration: none;
}
.category h3 a:hover {
    text-decoration: underline;
}
.category img {
    object-fit: fill;
    border-radius: 0 0 4px 4px;
    width: 302px;
    height: 170px;
}
.category ul {
    padding-left: 1.1em;
    margin: 0;
}
.category ul li {
    margin-top: 0;
    margin-bottom: 0.25em;
}
.header {
    padding: 6px 8px;
    margin-bottom: 12px;
    border: 1px solid #ccc;
    border-radius: 8px;
}
.header h1 {
    margin: 0;
    color: #555;
}
.footer {
    padding: 4px 8px;
    margin-top: 12px;
    border: 1px solid #ccc;
    border-radius: 8px;
}