/* Colors: grey: #7b8385 orange: #e58900 */

:root {
    --sosy-blue: #0020E0;
    --sosy-orange: #006633;
    --sosy-grey: #7B8385;
    --sosy-light-grey: #eee;
    --lmu-green: #1e8552;
}

details summary {
    cursor: pointer;
}

#Navigation {
    margin: 1.8em 0em 0.5em 0em;
    border-bottom: 1px solid var(--sosy-orange);
}

ul.Navigation {
    font-size: 110%;
}

ul.Navigation li {
    border-right: 1px var(--sosy-orange) solid;
    color: var(--sosy-orange);
    margin: 0.6em 0px;
    margin-left: -1px;
    font-size: 0.8em;
}

.NavCurrent {
    font-weight: bold;
}

ul.Navigation li:last-child {
    border-right: 0;
}

#newsBanner {
    width: 95%;
    padding: 5px;
    margin: 0 auto;
    font-size: 0.9em;
    min-height: 0;
}

#newsBanner em {
    font-style: normal;
    color: var(--sosy-blue);
}

#newsBanner.card:hover {
    box-shadow: 0px 0px 2px 0 rgba(0, 0, 0, 0.3);
}

#newsBanner:hover {
    color: black;
}

.label.news {
    font-weight: bold;
    color: rgb(255, 0, 0);
    border-color: rgb(255, 0, 0);
    margin: 0 5px 0 0;
    border: none;
    vertical-align: top;
}

.label.news:after {
    content: "";
}

p.label.news:after {
    content: "News! ";
}

#allNewsButton {
    text-align: center;
    font-size: 1.1em;
    padding-top: 2em;
}

#allNewsButton a {
    display: block;
}

#newsList .date {
    color: var(--sosy-grey);
    font-size: 0.9em;
}

footer {
    margin-top: 1.4em;
    border-top: 1px solid var(--lmu-green);
}


/* verschiedene Formatierungen */

body {
    font-family: sans-serif;
    background-color: white;
}

#sosy-name {
    color: var(--sosy-grey)
}

h2,
a h2 {
    font-size: 200%;
    text-align: center;
    color: var(--sosy-orange);
}

h3,
a h3 {
    font-size: 150%;
    margin-top: 1.5em;
    margin-bottom: 1ex;
    color: var(--sosy-orange);
}

h4,
a h4 {
    margin-top: 0.5em;
    margin-bottom: 0px;
    color: black;
}

h5,
a h5 {
    font-size: 100%;
    color: black;
}

h3,
h4 {
    clear: both;
}

.subtitle,
a .subtitle {
    text-align: center;
    margin-bottom: 1em;
    margin-top: -0.5em;
    color: black;
}


/*#head a, #Navigation a { text-decoration: none; }*/

a {
    text-decoration: none;
    color: black;
}

#content a:link,
#newsBanner a:link,
#footer a:link {
    color: var(--sosy-blue);
}

#content a:visited,
#newsBanner a:visited,
#footer a:visited {
    color: var(--sosy-blue);
}

a:active,
 :focus,
a:hover,
#content a:active,
#content a:focus,
#content a:hover,
#newsBanner a:hover,
#newsBanner a:focus,
#newsBanner a:active {
    color: var(--sosy-orange) !important;
}


/* Make focused links more easily visible for keyboard users */

:focus {
    outline: 2px dotted var(--sosy-grey);
    background-color: #ffd;
}

a:hover img {
    border: none;
}

a img {
    border: none;
}

p,
ul {
    line-height: 140%;
}

blockquote {
    margin: 0 0 0 4ex;
}

#content {
    color: #000000;
    font-size: 90%;
}

#content ol {
    list-style-position: outside;
    margin: 1ex 0;
    padding: 0 0 0 4ex;
}

#content ul {
    list-style-position: outside;
    margin: 1ex 0;
    padding: 0 0 0 4ex;
}

#content ul.blank {
    list-style: none outside none;
    padding: 0px;
}

#content li {
    margin-bottom: 0ex;
}

#content td {
    padding: 1ex;
    vertical-align: top;
}

#content tr.sep {
    border-top: 1px var(--sosy-orange) solid;
}

#content table {
    border-collapse: collapse;
}

.error {
    color: red;
    font-weight: bold;
}

form {
    max-width: 35em;
}

fieldset p {
    line-height: 200%;
}

legend {
    font-weight: bold;
}

label {
    display: block;
    width: 12em;
    float: left;
    clear: left;
}

details summary {
    cursor: pointer;
}

.topic details p {
    margin-left: 1em;
    font-size: 0.9em;
}

#content .topic details ul,
ol li {
    font-size: 0.9em;
}

#software li h5 {
    font-weight: bold;
    font-size: 1.1em;
}

#software h5,
#software a,
#software a .description {
    color: black;
}

#software h5:hover,
#software h5:focus,
#software h5:active {
    color: var(--sosy-orange);
}

#software .card {
    background-color: inherit;
    border: 1px solid var(--sosy-light-grey);
    border-radius: 3px;
    box-shadow: 0px 0px 5px 0 rgba(0, 0, 0, 0.01);
}

#software .card:hover {
    box-shadow: 0px 0px 5px 0 rgba(0, 0, 0, 0.1);
}

.card {
    background: var(--sosy-light-grey);
    border-radius: 2px;
    box-shadow: 0px 0px 10px 0 rgba(0, 0, 0, 0.05);
    -webkit-transition-property: box-shadow;
    transition-property: box-shadow;
    -webkit-transition-duration: 0.2s;
    transition-duration: 0.2s;
}

.card h4 {
    color: #333;
}

.card h5 {
    font-weight: normal;
    color: var(--sosy-blue);
}

.card:hover {
    box-shadow: 0px 0px 10px 0 rgba(0, 0, 0, 0.3);
}

.card a.card-link:focus {
    text-decoration: underline;
}

.card:focus-within {
    box-shadow: 0px 0px 10px 0 rgba(0, 0, 0, 0.8);
}

.card:focus-within a.card-link:focus {
    text-decoration: none;
    outline: 0;
}

button.totop {
    border: none;
    background: var(--sosy-light-grey);
    border: 1px solid var(--sosy-grey);
    border-radius: 2px;
    vertical-align: middle;
    color: black;
    cursor: pointer;
}

button.totop:after {
    content: "\021A5";
}

button.totop:focus {
    outline: 2px dotted black;
}

#thesisLists>details {
    margin-bottom: 2.5em;
    /* Same margin as thesisList, to have same margin expanded and collapsed */
}

#thesisLists h4 {
    margin-bottom: 1em;
    /* Some margin after topic-headers */
}

#content .thesisList {
    list-style: none;
    margin-top: 1em;
    margin-bottom: 2.5em;
    display: grid;
    grid-template-columns: [labels] auto [text] 1fr;
    grid-row-gap: 0.5em;
    grid-column-gap: 4px;
}

.thesisList .labels {
    grid-column-start: labels;
    justify-self: end;
}

.thesisList .topic-text {
    grid-column-start: text;
}

.assigned {
    opacity: 0.7;
}

.label {
    margin-right: 4px;
    padding: 2px 3px;
    border: 1px solid;
    border-radius: 4px;
    color: var(--sosy-blue);
    border-color: var(--sosy-blue);
    vertical-align: middle;
    font-size: 0.7em;
    /*display: none;*/
}

.label.BA {
    color: green;
    border-color: green;
}

.label.BA:after {
    content: "BA";
}

.label.MA {
    color: var(--sosy-orange);
    border-color: var(--sosy-orange);
}

.label.MA:after {
    content: "MA";
}

.label.Project {
    color: var(--sosy-blue);
    border-color: var(--sosy-blue);
}

.label.Project:after {
    content: "Project";
}

.label.GSoC {
    color: darkorchid;
    border-color: darkorchid;
}

.label.GSoC:after {
    content: "GSoC";
}


/* Publication-list entries */

.bibentry {
    padding: 5px;
    margin-bottom: 0.7em;
    border-radius: 2px;
}

.publication-title {
    font-weight: bold;
}

#content a.doi {
    color: black;
}

.bibentry details {
    border: 2px solid var(--sosy-light-grey);
    border-radius: 2px;
    padding: 1px 2px;
}

.bibentry details>summary {
    padding: 3px;
}

.bibentry details>div {
    background-color: white;
    border-top: 2px dotted var(--sosy-grey);
    padding: 5px;
    overflow: auto;
}

.bibtex div {
    white-space: pre-line;
    font-family: monospace;
}

.keyword-list::after,
.funding-list::after {
    content: '.';
}

label[for=show-compact] {
    border-width: 2px;
    border-radius: 2px;
    padding: 2px 4px;
}

label[for=show-compact] {
    background-color: white;
    border-color: var(--sosy-light-grey);
    border-style: solid;
}

input#show-compact~label[for=show-compact]:hover,
input#show-compact~label[for=show-compact]:focus {
    color: var(--sosy-orange);
}

input#show-compact:checked~label {
    background-color: var(--sosy-light-grey);
    border-color: var(--sosy-light-grey);
    border-style: inset;
}

.lastname {
    font-weight: bold;
}

.author .firstname, .author .lastname {
    font-weight: normal;
}


footer#generator {
    padding-top: 20px;
    font-style: italic;
    color: var(--sosy-grey);
}

#disclaimer {
    padding-top: 20px;
}

#disclaimer, footer#generator, .last-modified {
    font-size: 0.8em;
}

/* If a bibentry is directly accessed through its anchor (e.g., index.html#TACAS21),
 * highlight it to make visible which entry was targeted.
 * This makes it easier to share bib-entries directly through our website.
 */
.bibentry:target, ul#newsList li:target {
  background-color: #ffd;
}

hr {
    border: 0;
    border-top: 1px solid #ddd;
}

#positionsBanner {
    width: 95%;
    padding: 5px;
    margin: 0 auto;
    font-size: 0.9em;
    min-height: 0;
}

#positionsBanner em {
    font-style: normal;
    color: var(--sosy-blue);
}

#positionsBanner.card:hover {
    box-shadow: 0px 0px 2px 0 rgba(0, 0, 0, 0.3);
}

#positionsBanner:hover {
    font-weight: 505;
}

#hiring-contact {
  display: grid;
  grid-template-columns: 120px auto;
}




div,
body,
ul.Navigation,
ul.Navigation li,
#head * {
    /*just to be sure*/
    margin: 0;
    padding: 0;
}

body {
    font-size: 100.01%;
    max-width: 970px;
    margin: 0px auto;
    margin-bottom: 2em;
    text-align: center;
    position: relative;
    /* this has only the effect that descening elements
  maybe positioned relatively or absolutely to the body element */
}


/* Kopfzeile */

#head {
    margin-top: 3.5ex;
}

.head-row {
    display: grid;
    grid-template-columns: 1fr auto 1fr;
    grid-template-rows: auto auto;
    grid-gap: 1em 0.5em;
}

.head-row>* {
    vertical-align: middle;
    text-align: center;
}

#head .head-row>* {
    padding-top: 5px;
}

#footer ul#footer-menu {
  list-style: none;
}
#footer ul#footer-menu li {
  display: inline;
  padding: 0 2em;
}

#sosy-logo {
    grid-column: 1;
    grid-row: 1 / span 2;
}

#sosy-name {
    grid-column: 2;
    grid-row: 1 / span 2;
}

#affiliation-logo {
    grid-column: 3;
    grid-row: 1 / span 2;
}

@media (max-width: 530px) {
    /* >= 5px + 143px + 5px + 200px + 5px */
    .head-row {
        display: block;
    }
    #sosy-name {
        font-size: 4vw;
    }
}


/* Navigation */

#Navigation {
    /*Abstand links definiert durch body.padding-left,
      Abstand rechts definiert durch #main.padding-left*/
    overflow: hidden;
    line-height: 150%;
    width: 100%;
    clear: both;
}

ul.Navigation {
    display: grid;
    overflow: hidden;
    grid-template-columns: repeat(auto-fit, minmax(5em, 1fr));
    grid-auto-rows: 1fr;
    grid-gap: 0;
    margin: 0 auto;
    list-style: none;
    max-width: 100%;
}

ul.Navigation li {
    justify-self: stretch;
}

ul.Navigation li a {
    display: block;
    /* Full menu cells clickable, not just the text */
}

* html ul.Navigation li {
    padding-bottom: 1px;
}


/* IE 6 Hack */


/* Inhaltsspalte */

#main {
    text-align: center;
    clear: both;
}

#content {
    text-align: left;
    margin: 6ex auto 0 auto;
    /*Abstand zwischen Text und Kopf, Zentrierung*/
    position: relative;
}

#group-picture {
    max-width: 100%;
    height: auto;
    margin-bottom: 1em;
}

#software ul {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(200px, 1fr));
    grid-auto-rows: 1fr;
    grid-gap: 15px;
    margin: 0;
    padding: 0;
}

#software li {
    min-height: auto;
    padding: 8px;
    list-style: none;
}

#software .project {
    display: grid;
    grid-template-columns: fit-content(60px) 1fr;
    grid-template-rows: 1.3em 1fr;
    grid-gap: 3px 0px;
}

#software .project * {
    float: none;
    margin: 0;
    padding: 0;
    align-self: top;
}

#software li .logo {
    grid-column: 1;
    grid-row: 1;
    width: auto;
    height: auto;
    max-height: 100%;
    max-width: 100%;
    display: block;
    margin-right: 3px;
    justify-self: center;
    align-self: center;
}

#software li h5 {
    grid-column: 2;
    grid-row: 1;
}

#software li .description {
    grid-column: 1/3;
    grid-row: 2;
}

#software li h5 {
    display: inline;
    padding: 0;
    margin: 0;
}

.grid {
    margin: 10px 0px 30px 5px;
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(19em, 1fr));
    grid-auto-rows: 1fr;
    grid-gap: 15px;
}

.grid .card {
    padding: 5px;
    justify-self: stretch;
    align-self: stretch;
    position: relative;
}

.card {
    overflow: hidden;
    min-height: 5em;
}

.card h3,
h4,
h5 {
    margin-top: 0;
}

.card h5 {
    margin-bottom: 5px;
}

.card img {
    float: left;
    margin: 0px;
    padding-right: 10px;
    width: 100px;
}

.card.caption {
    padding-top: 1em;
    text-align: center;
}


/* The following allows "links inside of cards, which are links" */

.card a.card-link::after {
    content: '';
    position: absolute;
    left: 0;
    top: 0;
    bottom: 0;
    right: 0;
    pointer-events: all;
}

.card p {
    pointer-events: none;
    position: relative;
    z-index: 1;
    margin: 0px;
}

.card p a {
    pointer-events: all;
}


/* End of code for links inside of cards */


/* Sonstiges */

.text {
    text-align: justify;
}

.center {
    text-align: center;
}

.left {
    text-align: left;
}

.right {
    text-align: right;
}

img.float {
    float: left;
    margin-right: 1em;
    margin-bottom: 0.5ex
}

img.floatright {
    float: right;
    margin-left: 1em;
    margin-bottom: 0.5ex
}

img {
    vertical-align: middle;
    border: none;
}

#content section {
    padding-bottom: 2em;
}

.schedule .schedule-date {
    font-size: 1em;
}

#content .schedule ul {
    padding-top: 0;
    margin-top: 0;
}

ul.schedule>li {
    list-style: none;
    display: grid;
    grid-template-columns: auto 1fr;
}

li.schedule-entry {
    list-style: none;
    display: grid;
    grid-template-columns: 1fr;
    grid-column-gap: 1em;
    padding-bottom: 15px;
}

.schedule-entry .talk-type {
    font-style: italic;
}

.schedule-entry .talk-title {
    padding-bottom: 5px;
    margin: 0;
}

details#past-talks {
    margin-top: 2em;
    margin-bottom: 2em;
}

details#past-talks>summary {
    text-align: center;
}


/* Publication entries */

.publication-navigation {
    text-align: center;
}

.publication-navigation a {
    padding: 5px 0;
    /* to make clicking the links easier */
}

.main-info,
.additional-info,
.additional-info .inline-info {
    display: block;
}

.list-talks .main-info,
.list-talks .additional-info,
.list-talks .additional-info .inline-info {
    display: inline;
}


#content #publications~ol {
    margin: 0;
    padding: 0;
}

#content li.bibentry {
    list-style: none;
    margin-left: 0;
    margin-bottom: 1em;
    position: relative;
}
#content .list-talks li.bibentry {
    margin-bottom: 5px;
    padding: 0;
}

.author-list {
    display: block;
}

.list-talks .author-list {
    display: inline;
}

.artifact-list ol>li {
    list-style: none;
    display: inline;
    padding: 5px 3px;
}

.artifact-list ol>li::after {
    content: ', ';
}

.artifact-list ol>li:last-child::after {
    content: '';
}

.link-list {
    line-height: 23px;
    user-select: none;
}

.bibentry a {
    padding-top: 5px;
    padding-bottom: 5px;
}

.link-list>a {
    padding-left: 3px;
    padding-right: 3px;
    white-space: nowrap;
}

.link-list>a img {
    margin-right: 5px;
}

.bibtex summary, .artifact-list summary, .abstract summary {
    /* avoid text selection of buttons like 'BibTeX Entry'
    when bibliography text is selected */
    user-select: none; 
}

.additional-info details {
    display: inline-block;
    margin-bottom: 2px;
}

.additional-info details[open] {
    display: block;
    width: 80%;
}

#content li.bibentry {
    margin-right: 1.7em;
    /* Space required by .bibentry-link img, in worst case */
}

.bibentry .bibentry-link {
    position: absolute;
    top: 0;
    right: -0.85em;
    padding: 0;
    margin: 0;
    user-select: none; /* avoid copying links of this class as part of the bibliography */
}

.bibentry-link img {
    height: 1.7em;
    width: 1.7em;
    overflow: hidden;
    background-position: center;
    background-size: 1em 1em;
    background-repeat: no-repeat;
    opacity: 0.6;
}

.bibentry:hover .bibentry-link img,
.bibentry .bibentry-link:focus img {
    background-image: url('https://sosy-lab.org/research/pub/Icons/link.gif');
}

.bibentry:hover .bibentry-link:hover img,
.bibentry .bibentry-link:focus img {
    opacity: 1;
}

@media (hover: none) {
    .bibentry .bibentry-link img {
        background-image: url('https://sosy-lab.org/research/pub/Icons/link.gif');
    }
}

input#show-compact {
    display: none;
}

label[for=show-compact] {
    display: inline;
    width: auto;
    position: fixed;
    top: 0;
    left: 0;
    cursor: pointer;
}

input#show-compact:checked~ol .additional-info {
    display: none;
}

input#show-compact:checked~ol .author-list {
    display: inline;
}

input#show-compact:checked~ol li.bibentry {
    margin-bottom: 0;
}

#newsList li {
    display: grid;
    grid-template-columns: auto 1fr;
    column-gap: 10px;
    list-style: none;
    margin: 4em 0;
    /*border: 2px solid var(--sosy-light-grey);*/
    /*box-shadow: 0px 0px 10px 0 rgba(0, 0, 0, 0.1);*/
}

#newsList li:first-child {
    margin-top: 0;
}

#newsList article {
    padding: 0;
    margin: 0;
}

#newsList article img {
    max-width: 100%;
    height: auto;
}

#thesisLists .topics {
    margin-left: 20px;
    margin-bottom: 40px;
}

@media only screen and (min-width: 701px) {
    #main {
        padding: 0 6%;
        /*der Abstand links und rechts vom Text*/
    }
}

@media only screen and (max-width: 700px) {
    #main {
        padding: 0 5px;
    }
    #newsList li {
        display: block;
    }

    #thesisLists .topics {
        margin-left: 0;
    }
}