#bodyTable {
    width: 100%;
    border-collapse: collapse;
    padding: 1em;
}

html, body {
    margin: 0;
    padding: 0;
    font: 300 20px/1.5 Lato, "Helvetica Neue", Helvetica, arial, sans-serif;
}

/* elements that needs an indication that they can be clicked on */
.clickable {
    cursor: pointer;
}

/* elements that changes transparency when hover over them */
.trs:hover {
    opacity: 0.6;
}

/* elements that needs padding left and right */
.padded {
    padding-left: 1em;
    padding-right: 1em;
}

input[type], select { /* same */
    font: 1em Lato, "Helvetica Neue", Helvetica, arial, sans-serif;;
    /*font: 290 19px/1.45 Lato, "Helvetica Neue", Helvetica, arial, sans-serif;*/
}

/* so that we have linebreaks in tooltips  - TODO we don't need this anymore cuz we don't use tooltips */
.ui-tooltip {
    white-space: pre-line;
}

.hide_overflow {
    overflow: hidden;
    vertical-align: middle;
    text-align: center;
}


table#bodyTable td {
    white-space: nowrap;
    padding-left: 1em;
}

/* custom header-1s */
div.h1s {
    padding: 0.4em;
    background: #2980b9;
    color: white;
    font-size: 140%;
    margin-bottom: 0.67em;
    margin-top: 0.67em;
    border-bottom: 1px solid #3498db; /*https://flatuicolors.com/palette/defo*/
}
div.h1s#h1sLangTable, div.h1s#h1sTopContributors {
    margin-bottom: 0;
}

.h1s-link {
    color: white;
    cursor: pointer;
    text-decoration-line: underline;
}

div#footer {
    font-size: 70%;
    background: #2c3e50;
    color: white;
    text-align: center;
    left: 0;
    bottom: 0;
    width: 100%;
}
div#footer a {
    color: white;
}

div.noMarginTop {
    margin-top: 0;
}

tr.bordered td {
    border: 1px solid gray;
}

input#top_search_lp {
    border-radius: 3px;
}

a.hintlink {
    cursor: pointer;
    text-decoration-line: underline;
    text-decoration-style: dashed;
    text-decoration-color: #002;
}