.ts-thesaurus-header-wrapper {
display: table;
}
.ts-thesaurus-header {
border: 1px solid #a2a9b1;
background-color: #f8f9fa;
display: flex;
align-items: center;
flex-wrap: wrap;
}
.ts-thesaurus-header > div {
padding: 0.28571429em; /* 4 / 14 */
padding-left: 1em;
}
.ts-thesaurus-header-logo {
text-transform: uppercase;
}
/* Can't use `::first-letter` here due to some Firefox bug that results in
setting an incorrect width to `.ts-thesaurus-header-logo`. Have tried
`width: min-content` and such tricks - didn't work. */
.ts-thesaurus-header-logo-firstLetter {
font-size: 120%;
}
.ts-thesaurus-header-headword > span {
font-size: 120%;
font-weight: bold;
}
.ts-thesaurus-header-search .mw-searchInput {
min-height: 32px;
}
.ts-thesaurus-header-toc {
display: none;
float: right;
max-width: 33%;
clear: both;
margin-left: 0.5em;
}