@font-face{
    font-family:goodtime;
    src:url("font/goodtime-webfont.eot");
    src:url("font/goodtime-webfont.eot?#iefix") format('embedded-opentype'),
        url("font/goodtime-webfont.woff") format('woff'),
        url("font/goodtime-webfont.ttf") format('truetype'),
        url("font/goodtime-webfont.svg#good_timesregular") format('svg');
    font-weight:400;
    font-style:normal}


.goodtime {
    font-family: "goodtime";
}

/* Blendet den Überschriften-Link (das Paragraph-Icon) standardmäßig aus */
a.headerlink {
    display: none;
}

.ds-brand {
    font-family: "goodtime";
    color: #0c6159; 
    margin-left: auto; 
    margin-right: auto; 
}

.ds-logo {
    width: 60%;
    margin-left: auto;
    margin-right: auto; 
}

.sphinxsidebar {
    border-right: 1px solid #0c6159;
}

.sidebar-sticky ul {
    margin: 0;
}


.caption {
    margin-bottom: .5rem;
    margin-top: .75rem;
}

div.related-pages {
    display: none;
}

.view-this-page {
    display: none;
}

.header-center a {
    font-family: "goodtime";
    font-size: 1.5em;
    color:#0c6159;
}

#rezoa p {
    font-size: 1.5em;
}

#tmpcontent {
    width: 60lvw;
    height: 80lvh;

    /* Bild als Hintergrund festlegen */
    background-image: url("robot.png");
    background-size: 300px;
    background-position: center;
    background-repeat: no-repeat;
  
}