body {
    font-family: system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI",
        "Roboto", "Oxygen", "Ubuntu", "Helvetica Neue", Arial, sans-serif,
         "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol";
    font-weight: 300;
}

/* ul { */
/*     margin-bottom: 24px; */
/* } */

h1, h2, h3, h4, h5, h6 {
    font-weight: 400;
    position: relative;
}

h2, h3 {
    margin-top: 10px;
    margin-bottom: 10px;
}

code {
    font-family: "SFMono-Regular", "Menlo", "Monaco", "Consolas",
        "Liberation Mono", "Courier New", "monospace";
    color: #d63384;
    font-size: 0.9em;
}

table, th, td {
    padding: 4px;
    border: 1px solid black;
    border-collapse: collapse;
}

table {
    width: 100%;
}

header {
    border-top: 1px solid black;
    border-bottom: 1px solid black;
    padding: 10px 20px 10px 20px;
    top: 0;
    vertical-align: middle;
    text-align: right;
    position: relative;
}

header #banner {
    font-size:  1.5em;
    float: left;
}

header nav {
    display: inline-block;
    vertical-align: middle;
}

header nav a {
    display: inline-block;
    text-decoration: none;
    padding: 5px 0 1px 0px;
}

.row {
    /* margin: 16px; */
    display: flex;
}

.column {
    /* flex: 48%; */
}

#photo {
    display: none;
    width: 150px;
    height: 150px;
    border-radius: 50%;
    object-fit: cover;
}

hr {
    border-top: 0;
    border-right: 0;
    border-left: 0;
    border-bottom: 1px solid black;
    border-color: rgb(150, 150, 150);
}

code.block {
    display: block;
    background-color: rgb(248, 249, 250);
    width: 100%;
    text-align: left;
    word-break: break-all;
    padding: 6px 12px 6px 12px;
    margin: 10px 0 10px 0;
}

.display_code {
    cursor: pointer;
}
.code_preview {
    display: none;
}

.muted {
    color: gray;
}

.green {
    color: green;
}

.orange {
    color: orange;
}

.urgent {
    color: #E0210E;
}

.logo {
    filter: opacity(60%);
}
.logo:hover {
    filter: none;
    cursor: pointer;
}

#mail img {
    filter: opacity(80%);
}

#mail img:hover {
    filter: none;
}

a {
    color: #005faf;
    text-decoration: none;
}
a:hover {
    color: #003969;
    text-decoration: none;
}
a.name {
    color: black;
}
a.name:hover {
    color: #003969;
}
a.disabled {
    color: dimgray;
    pointer-events: none;
    cursor: default;
}

.publication_list li {
    margin-bottom: 0.4em;
    list-style-type: disc !important;
    line-height: 20px;
    text-align: left;
}

p.question {
    font-weight: bold;
}
p.answer {
    padding: 0 20px 0 20px;
}

p {
    text-align: justify;
    text-justify: inter-word;
}

li {
    text-align: justify;
    text-justify: inter-word;
}

.container {
    margin: auto;
    position: relative;
}

.content {
    padding-left: 20px;
    padding-right: 20px;
}

details {
    /* margin-top: 3px; */
    text-align: justify;
}

summary {
    cursor: pointer;
    /* width: 100px; */
    display: inline-block;
    -webkit-user-select: none; /* Safari */
    -ms-user-select: none; /* IE 10 and IE 11 */
    user-select: none; /* Standard syntax */
}

/* details summary > * { */
/*   display: inline; */
/* } */

.noselect {
    -webkit-touch-callout: none;
    -webkit-user-select: none;
    -khtml-user-select: none;
    -moz-user-select: none;
    -ms-user-select: none;
    user-select: none;
}

span::before {
    content: attr(data-unselectable);
}

a.disabled {
    pointer-events: none;
    cursor: default;
    opacity: 0.6;
}

.column ul {
    margin-top: 0;
    margin-bottom: 0;
}

.short_name {
    display: none;
}
.medium_name {
    display: none;
}
.long_name {
    display: inline;
}
header nav {
    display: inline;
}

@media only screen and (max-width: 420px) {
    .container {
        width: 100%;
    }
    .short_name {
        display: none;
    }
    .medium_name {
        display: inline;
    }
    .long_name {
        display: none;
    }
    .numbering {
        position: none;
        left: 0px;
    }
    .i1, .i2 {
        margin-left: 0;
    }
    header {
        padding: 10px 10px 10px 10px;
    }
    .content {
        padding: 20px 10px 20px 10px;
    }
}

/* Extra small devices (phones, 600px and down) */
@media only screen and (min-width: 420px) {
    .container {
        width: 100%;
    }
    .medium_name {
        display: none;
    }
    .long_name {
        display: inline;
    }
    .numbering {
        position: none;
        left: 0px;
    }
    .i1, .i2 {
        margin-left: 0;
    }
    header {
        padding: 10px 10px 10px 10px;
    }
    .content {
        padding: 20px 10px 20px 10px;
    }
}

@media only screen and (min-width: 500px) {
    #photo {
        display: inline-block;
    }
}

/* Small devices (portrait tablets and large phones, 600px and up) */
@media only screen and (min-width: 600px) {
    .medium_name {
        display: none;
    }
    .long_name {
        display: inline;
    }
    .name_space {
        display: none;
    }
    .numbering {
        position: none;
        left: 0px;
    }
    .i1, .i2 {
        margin-left: 0;
    }
    header {
        padding: 10px 10px 10px 10px;
    }
    .content {
        padding: 20px 10px 20px 10px;
    }
}

/* Medium devices (landscape tablets, 768px and up) */
@media only screen and (min-width: 768px) {
    .container {
        width: 100%;
        max-width: 680px;
    }
    .medium_name {
        display: none;
    }
    .long_name {
        display: inline;
    }
    .numbering {
        position: absolute;
        left: -50px;
    }
    .i1 {
        margin-left: 0;
    }
    .i2 {
        margin-left: 0;
    }
}

/* Large devices (laptops/desktops, 992px and up) */
@media only screen and (min-width: 992px) {
    .medium_name {
        display: none;
    }
    .long_name {
        display: inline;
    }
    .container {
        width: 100%;
        max-width: 900px;
    }
}

/* Extra large devices (large laptops and desktops, 1200px and up) */
@media only screen and (min-width: 1200px) {
    .container {
        width: 100%;
        max-width: 1000px;
    }
}
