// © 2020 and later: Unicode, Inc. and others. | |
// License & terms of use: http://www.unicode.org/copyright.html | |
// Increase the side bar width as some of the page titles don't fit in the default size. | |
$nav-width: 284px; | |
// Increase the main content area width as some tables assume a larger size. | |
$content-width: 900px; |