/*
 * These CSS custom properties (variables) define the core color and font
 * properties used in this stylesheet.
 */
:root {
    /* body, block and code fonts */
    --body-font-family: "Helvetica Neue",Helvetica,Arial,sans-serif;
    --block-font-family: 'DejaVu Serif', "Georgia", "Times New Roman", Times, serif;
    --code-font-family: "Monaco","Menlo","Consolas","Courier New",monospace;
    /* Base font sizes for body and code elements */
    --body-font-size: 14px;
    --block-font-size: 14.4px;
    --code-font-size: 13px;
    --nav-font-size: 14px;
    /* Line height for continuous text blocks */
    --block-line-height: 1.5;
    --code-line-height: 1.6;
    /* Text colors for body and block elements */
    --body-text-color: #333;
    --block-text-color: #333;
    /* Background colors for various elements */
    --body-background-color: #ffffff;
    --section-background-color: var(--body-background-color);
    --detail-background-color: #ffffff;
    --code-background-color: #f7f7f9;
    --mark-background-color: #f7f7f7;
    --detail-block-color: #f4f4f4;
    /* Colors for navigation bar and table captions */
    --navbar-background-color: #ffffff;
    --navbar-text-color: #333;
    /* Background color for subnavigation and various headers */
    --subnav-background-color: #f5f5f5;
    --subnav-link-color: #08c;
    --member-heading-background-color: var(--subnav-background-color);
    /* Background and text colors for selected tabs and navigation items */
    --selected-background-color: #08c;
    --selected-text-color: #ffffff;
    --selected-link-color: #ffffff;
    /* Background colors for generated tables */
    --table-header-color: #ebeff4;
    --even-row-color: #ffffff;
    --odd-row-color: #f0f0f2;
    /* Text color for page title */
    --title-color: #333;
    /* Text colors for links */
    --link-color: #08c;
    --link-color-active: #08c;
    /* Table of contents */
    --toc-background-color: #f8f8f8;
    --toc-highlight-color: #08c;
    --toc-hover-color: #e9ecf0;
    /* Snippet and pre colors */
    --snippet-background-color: #f2f2f4;
    --snippet-text-color: var(--block-text-color);
    --snippet-highlight-color: #f7c590;
    --pre-background-color: var(--snippet-background-color);
    --pre-text-color: var(--snippet-text-color);
    /* Border colors for structural elements and user defined tables */
    --border-color: #e6e6e6;
    --table-border-color: #000000;
    /* Styles for table tabs */
    --tab-border-radius: 2px 2px 0 0;
    /* Search input colors */
    --search-input-background-color: #ffffff;
    --search-input-text-color: #000000;
    --search-input-placeholder-color: #909090;
    /* Highlight color for active search tag target */
    --search-tag-highlight-color: #ffff66;
    /* Copy button colors and filters */
    --button-border-color: #b0b8c8;
    --button-active-filter: brightness(96%);
    --button-focus-filter: brightness(104%);
    /* Colors for invalid tag notifications */
    --invalid-tag-background-color: #ffe6e6;
    --invalid-tag-text-color: #000000;
    /* Navigation bar dimensions */
    --top-nav-height: 64px;
    --sub-nav-height: 20px;
    --nav-height: calc(var(--top-nav-height) + var(--sub-nav-height));
    --max-content-width: 1500px;
    --content-margin: 0 auto;
}

div.sub-nav {
    border-radius: 4px;
    padding: 8px 15px;
    margin: 0 0 20px;
    line-height: 20px;
}

header[role="banner"] {
    padding-top: 10px;
    padding-right: 20px;
    padding-left: 20px;
}

.nav-content {
    align-items: flex-start;
    margin: 0;
}

div.main-grid {
    margin: 0
}

nav.toc {
    border-radius: 4px;
    margin: 20px;
}

nav.toc a.current-selection {
    color: #fff;
    background-color: #08c;
}

h1 {
    font-size: 38.5px;
    line-height: 40px;
}