/* Works on Firefox */
.docs-navigation {
	scrollbar-width: auto;
	scrollbar-color: #686868 #e7e7e9;
}

/* Works on Chrome, Edge, and Safari */
.docs-navigation::-webkit-scrollbar {
	width: 12px;
}

.docs-navigation::-webkit-scrollbar-track {
	background: #e7e7e9;
}

.docs-navigation::-webkit-scrollbar-thumb {
	background-color: #686868;
	border-radius: 20px;

        display: grid;
        grid-template-columns: 1fr;
    }
}
.summary-table > div, .details-table > div {
    text-align:left;
    padding: 8px 3px 3px 7px;
    overflow-x: auto;
    scrollbar-width: thin;
}
.col-first, .col-second, .col-last, .col-constructor-name, .col-summary-item-name {
    vertical-align:top;
    padding-right:0;
    padding-top:8px;
    padding-bottom:3px;
}