.switcher-set {
margin-bottom:1rem;
}
main img {
cursor: pointer;
.doxyrest-title-code-block {
margin-bottom: 0;
/* doc version dropdown formatting override*/
[aria-labelledby="version-selector"] {
min-width: 125px!important;
overflow-x: hidden!important;
.sst-dropdown #version-selector {
[aria-labelledby="version-selector"] .dropdown-item {
padding: 0.25rem 0.5rem!important;
/* code reference text formatting override */
code {
color: black !important;
font-weight: bold;
/* Performance Benchmark Graphs */
.chart {
height: 500px;
padding:0;
/* Table Sort Button */
.sort-header {
.sort-btn {
content: "";
background-image:url('media/arrow-small-opposite-v.svg');
background-size: 100% 100%;
background-position: center;
background-repeat: no-repeat;
display: inline-block;
height: 1.5rem;
width:1.5rem;
position:relative;
top:0.5rem;
.sort-btn.sort-active.ascending,
.sort-btn.sort-active {
background-size: 100% 70%;
.sort-btn.sort-active.ascending {
background-image: url('media/union-down.svg');
background-image: url('media/union-up.svg');
div.highlight {
margin-bottom: 1.15rem;
.highlight .err {
border:none;
color:inherit;
.opt-notice-wrapper {
position: fixed;
bottom:0;
background: black;
width:100%;
text-align: center;
padding: 1rem;
z-index: 1000;
.opt-notice {
position: absolute;
top: 50%;
transform: translateY(-50%);
color: #fff;
/* Transition banner */
.transition-banner {
top: 60px;
background: #76CEFF;
color: white;
z-index: 1001;
display: block;
padding:0 2rem;
font-size: var(--pst-sidebar-font-size);
border: none;
border-radius: 0;
.transition-banner > p {
.transition-banner .close {
padding: 0 1.25rem;
color: #000;
@media (max-width: 720px) {
margin-top: 2rem;
@media (min-width: 1200px) {
.container, .container-lg, .container-md, .container-sm, .container-xl {
max-width: 1800px;
main .searchForm {
margin-bottom: 2rem;