| /* Tables */ |
| table td { |
| vertical-align: top; |
| border-right: 1px dotted #A0A0A0; |
| border-top: 1px dotted #A0A0A0; |
| padding: 0.3em; } |
| |
| table { |
| border: 1px solid #A0A0A0; |
| border-spacing: 0; } |
| |
| table tr th { |
| background-color: #ededee; } |
| |
| /** |
| * Code. |
| */ |
| code { |
| color: #222; |
| background-color: #F5F5F5; } |
| |
| pre { |
| color: #222; |
| background-color: #F5F5F5; |
| padding: 1rem; } |
| |
| pre > code { |
| color: inherit; |
| background-color: inherit; } |
| |
| /** |
| * Links. |
| */ |
| a { |
| text-decoration: none; } |
| |
| /** |
| * Custom Bootstrap elements. |
| */ |
| #landing-page-cards .card { |
| height: 100%; } |
| |
| .navbar-brand img { |
| margin-right: 0.2rem; } |
| |
| .nav-link span { |
| opacity: 0.7; |
| margin-right: 0.1rem; } |
| |
| #jumbotron a span { |
| margin-right: 0.3rem; } |
| |
| /* single */ |
| main article { |
| width: 100%; |
| /* To prevent long lines of code pushing content over the edge of the visible viewport. */ |
| /* Ditto the above, but for images. */ |
| /* A poor-man's NOTE/admonition. */ } |
| main article pre { |
| white-space: break-spaces; } |
| main article img { |
| max-width: 100%; } |
| main article blockquote { |
| background-color: var(--bs-light); |
| padding: 0.5rem 1rem 0.01rem 1rem; |
| word-wrap: unset; |
| text-wrap: unset; |
| font-style: italic; } |
| main article table { |
| width: 100%; |
| margin-bottom: 1rem; } |
| main article table th { |
| padding: 0.1rem 0.5rem; } |
| |
| main aside { |
| /* The top dropdown menu has the Bootstrap default z-index of 1000. |
| * The sticky-top that we use in the aside element gets a z-index of |
| * 1020 from Bootstrap, causing the menu to be under this sidebar. |
| * This value fixes that. |
| */ |
| z-index: 999 !important; } |
| main aside.d-xl-flex { |
| width: 17rem; |
| border-left: 1px solid var(--bs-secondary-bg); |
| overflow-y: scroll; |
| max-height: 100vh; } |
| main aside.d-xl-flex h2 { |
| margin-left: 1rem; |
| background-color: var(--bs-body-bg); } |
| main aside.d-xl-flex nav ul { |
| padding: 0 0 0 1rem; } |
| main aside.d-xl-none { |
| border-left: 1px solid var(--bs-secondary-bg); |
| width: 100%; } |
| main aside.d-xl-none nav ul { |
| padding: 0 1rem; } |
| main aside.d-xl-none nav ul li ul { |
| padding: 0 0 0 1rem; } |
| main aside nav { |
| margin-top: 0.5rem; } |
| main aside nav ul { |
| list-style: none; |
| margin: 0; } |