html {
    scroll-behavior: smooth;
}

body {
    padding-top: 60px;
    /*position: relative;*/
}

div.login {
    padding-left: 20%;
    padding-right: 20%;
}

.login form {
    border: 1px solid #cccccc;
    padding: 5%;
    border-radius: .3rem;
    margin: 5%;
}

.base-template {
    padding: 45px;
}

#myUL {
    /* Remove default list styling */
    list-style-type: none;
    padding: 0;
    margin: 0;
}

#myUL li a {
    border: 1px solid #ddd; /* Add a border to all links */
    margin-top: -1px; /* Prevent double borders */
    background-color: #f6f6f6; /* Grey background color */
    padding: 12px; /* Add some padding */
    text-decoration: none; /* Remove default text underline */
    font-size: 18px; /* Increase the font-size */
    color: black; /* Add a black text color */
    display: block; /* Make it into a block element to fill the whole list */
}

#myUL li a.header {
    background-color: #e2e2e2; /* Add a darker background color for headers */
    cursor: default; /* Change cursor style */
}

#myUL li a:hover:not(.header) {
    background-color: #eee; /* Add a hover effect to all links, except for headers */
}

.list-group-item small {
    background-color: #ffffff;
    color: #333333;
    padding: 3px 6px 3px 6px;
    border-radius: .28571429rem;
    border: 1px solid #333333;
}


ul.karmen-related-elements {
    list-style-type: none;
}

.karmen-info-header {
    margin-bottom: 20px;
}

.karmen-relation-header {
    border-bottom: 1px solid #cccccc;
    padding-bottom: 10px;
    margin-bottom: 25px;
    margin-top: 20px;
}

.karmen-info-header h1 {
    margin-top: 0;
}

.karmen-dashboard-header h2 {
    margin-top: 0;
    margin-bottom: 20px;
}

.karmen-dashboard-header {
    margin-top: 50px;
}

.experimental {
    vertical-align: middle;
    margin-left: 3px;
    margin-top: -20px;
    font-size: 10px;
}

.terminal {
    background-color: black;
    color: white;
}

.uppercase:valid {
    text-transform: uppercase;
}

.sticky-offset {
    top: 60px;
}

.oef-anchor-selection:target {
    animation-name: bg-fade-in-fade-out-animation;
    animation-duration: 2s;
    animation-timing-function: ease-in-out;
}

@keyframes bg-fade-in-fade-out-animation {
    0%     { background-color:red; }
    50.0%  { background-color:#f8f9fa; }
    100.0% { background-color:white; }
}

div.oef-anchor {
    display: block;
    position: relative;
    top: -60px;
    visibility: hidden;
}

/*# sourceMappingURL=data:application/json;charset=utf-8;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IiIsImZpbGUiOiJzdHlsZXMuY3NzIiwic291cmNlUm9vdCI6IiJ9*/