2022-04-02 13:30:16 +00:00
|
|
|
@import "theme-relearn-light.css";
|
|
|
|
|
2022-02-16 12:54:10 +00:00
|
|
|
#sidebar {
|
|
|
|
display: none;
|
|
|
|
}
|
|
|
|
#body {
|
|
|
|
margin-left: 0;
|
2022-03-25 13:09:57 +00:00
|
|
|
min-width: 100%;
|
|
|
|
max-width: 100%;
|
|
|
|
width: 100%;
|
2022-02-16 12:54:10 +00:00
|
|
|
}
|
2021-10-16 23:18:04 +00:00
|
|
|
#body #navigation {
|
|
|
|
display: none;
|
|
|
|
}
|
|
|
|
html,
|
|
|
|
body #body{
|
|
|
|
font-size: 8.9pt;
|
|
|
|
}
|
2022-02-17 07:47:34 +00:00
|
|
|
body {
|
|
|
|
background-color: white;
|
|
|
|
}
|
2021-10-16 23:18:04 +00:00
|
|
|
pre code {
|
|
|
|
font-size: 8.3pt;
|
|
|
|
}
|
2022-02-17 18:21:57 +00:00
|
|
|
code.copy-to-clipboard-code {
|
2021-10-16 23:18:04 +00:00
|
|
|
border-bottom-right-radius: 2px;
|
|
|
|
border-top-right-radius: 2px;
|
|
|
|
border-right-width: 1px;
|
|
|
|
}
|
|
|
|
pre {
|
|
|
|
border: 1px solid #ccc;
|
|
|
|
}
|
2022-02-27 09:39:56 +00:00
|
|
|
#body #topbar{
|
2021-10-16 23:18:04 +00:00
|
|
|
background-color: #fff; /* avoid background bleeding*/
|
|
|
|
border-bottom: 1px solid #ddd;
|
|
|
|
border-radius: 0;
|
|
|
|
padding-left: 0; /* for print, we want to align with the footer to ease the layout */
|
|
|
|
color: #777;
|
|
|
|
}
|
2022-02-17 23:11:32 +00:00
|
|
|
.navigation,
|
2022-04-02 13:30:16 +00:00
|
|
|
#top-print-link,
|
2021-10-16 23:18:04 +00:00
|
|
|
#top-github-link {
|
|
|
|
/* we don't need this while printing */
|
|
|
|
display: none;
|
|
|
|
}
|
|
|
|
#body #breadcrumbs {
|
|
|
|
width: 100%;
|
|
|
|
}
|
|
|
|
#body #breadcrumbs .links {
|
|
|
|
overflow-x: hidden;
|
2022-04-02 13:30:16 +00:00
|
|
|
visibility: visible;
|
2021-10-16 23:18:04 +00:00
|
|
|
}
|
2022-02-17 18:21:57 +00:00
|
|
|
.copy-to-clipboard-button {
|
2021-10-16 23:18:04 +00:00
|
|
|
display: none;
|
|
|
|
}
|
|
|
|
|
|
|
|
#body h1, #body h2, #body h3, #body h4, #body h5, #body h6 {
|
|
|
|
/* better contrast for colored elements */
|
2022-02-13 16:02:24 +00:00
|
|
|
color: black;
|
2021-10-16 23:18:04 +00:00
|
|
|
}
|
|
|
|
#body th, #body td,
|
|
|
|
#body code, #body strong, #body b,
|
|
|
|
#body li, #body dd, #body dt,
|
|
|
|
#body p,
|
|
|
|
#body a {
|
|
|
|
/* better contrast for colored elements */
|
|
|
|
color: black;
|
|
|
|
}
|
2022-05-23 12:25:20 +00:00
|
|
|
#body .anchor{
|
|
|
|
display: none;
|
|
|
|
}
|
2022-02-17 07:47:34 +00:00
|
|
|
#body pre,
|
|
|
|
#body code {
|
|
|
|
background-color: white;
|
|
|
|
border-color: #ddd;
|
|
|
|
}
|
2021-10-16 23:18:04 +00:00
|
|
|
|
|
|
|
hr{
|
|
|
|
border-bottom: 1px solid #ddd;
|
|
|
|
}
|
2022-03-25 13:07:04 +00:00
|
|
|
body,
|
2022-03-25 14:57:09 +00:00
|
|
|
#body,
|
2022-03-25 13:07:04 +00:00
|
|
|
#body-inner {
|
|
|
|
overflow: visible !important; /* turn off limitations for perfect scrollbar */
|
|
|
|
}
|
2022-04-02 13:30:16 +00:00
|
|
|
#body #body-inner {
|
|
|
|
/* reset paddings for chapters in screen */
|
2022-07-02 18:46:11 +00:00
|
|
|
padding: 0 3.25rem 4rem 3.25rem;
|
2022-04-02 13:30:16 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#body #body-inner h1 {
|
2021-10-16 23:18:04 +00:00
|
|
|
border-bottom: 1px solid #ddd;
|
2022-03-25 13:22:15 +00:00
|
|
|
margin-bottom: 2rem;
|
|
|
|
padding-bottom: .75rem;
|
2021-10-16 23:18:04 +00:00
|
|
|
}
|
2022-04-02 13:30:16 +00:00
|
|
|
#body-inner .chapter h3:first-of-type {
|
|
|
|
margin-top: 2rem;
|
|
|
|
}
|
|
|
|
#body-inner .chapter p {
|
|
|
|
font-size: 1rem;
|
|
|
|
}
|
|
|
|
|
2021-10-16 23:18:04 +00:00
|
|
|
.footline {
|
|
|
|
/* in print mode show footer line to signal reader the end of document */
|
|
|
|
border-top: 1px solid #ddd;
|
|
|
|
color: #777;
|
|
|
|
margin-top: 1.5rem;
|
|
|
|
padding-top: .75rem;
|
|
|
|
}
|
2022-03-30 18:27:47 +00:00
|
|
|
#body #body-inner .footline a {
|
|
|
|
text-decoration: none;
|
|
|
|
}
|
2021-10-16 23:18:04 +00:00
|
|
|
#body #body-inner a {
|
|
|
|
/* in print we want to distinguish links in our content from
|
|
|
|
normal text even if printed black/white;
|
|
|
|
don't use a.highlight in selector to also get links that are
|
|
|
|
put as HTML into markdown */
|
|
|
|
text-decoration-line: underline;
|
|
|
|
}
|
|
|
|
#toc-menu {
|
|
|
|
/* we don't need this while printing */
|
|
|
|
display: none;
|
|
|
|
}
|
2022-04-02 13:30:16 +00:00
|
|
|
#body #sidebar-toggle-span {
|
2021-10-16 23:18:04 +00:00
|
|
|
/* we don't need this while printing */
|
|
|
|
display: none;
|
|
|
|
}
|
|
|
|
#breadcrumbs .links {
|
|
|
|
display: inline;
|
|
|
|
}
|
2022-02-27 09:39:56 +00:00
|
|
|
#topbar{
|
2021-10-16 23:18:04 +00:00
|
|
|
/* the header is sticky which is not suitable for print; */
|
|
|
|
position: inherit; /* IE11 doesn't know "initial" here */
|
|
|
|
}
|
2022-03-25 13:09:57 +00:00
|
|
|
#topbar > div {
|
|
|
|
background-color: #ffffff; /* IE11 doesn't know "initial" here */
|
|
|
|
}
|
2021-10-16 23:18:04 +00:00
|
|
|
#body .tab-nav-button:not(.active) {
|
|
|
|
opacity: .5;
|
|
|
|
}
|
|
|
|
#head-tags {
|
|
|
|
display: none;
|
|
|
|
}
|
|
|
|
mark {
|
|
|
|
background: inherit;
|
|
|
|
color: inherit;
|
2021-11-09 20:36:52 +00:00
|
|
|
}
|
|
|
|
.mermaid > svg:hover {
|
|
|
|
border-color: transparent;
|
2022-02-17 07:47:34 +00:00
|
|
|
}
|
|
|
|
div.box {
|
|
|
|
border: 1px solid #ddd;
|
|
|
|
}
|
|
|
|
div.box > .box-content {
|
|
|
|
background-color: white;
|
|
|
|
}
|
2022-03-27 20:25:36 +00:00
|
|
|
rapi-doc{
|
|
|
|
/* adjust rapi-doc internals to fill out available space */
|
|
|
|
font-size: 4pt;
|
|
|
|
margin-left: -12px;
|
|
|
|
width: calc( 100% + 12px + 8px );
|
|
|
|
}
|
2022-05-29 21:00:53 +00:00
|
|
|
.btn,
|
2022-02-17 07:47:34 +00:00
|
|
|
#body .tab-nav-button {
|
|
|
|
color: black !important;
|
|
|
|
}
|
|
|
|
#body .tab-nav-button.active {
|
|
|
|
background-color: white !important;
|
|
|
|
border-bottom-color: white !important;
|
|
|
|
color: black;
|
|
|
|
}
|
|
|
|
#body .tab-nav-button:not(.active) {
|
|
|
|
opacity: 1;
|
|
|
|
}
|
2022-04-02 13:30:16 +00:00
|
|
|
|
|
|
|
article {
|
|
|
|
break-before: page;
|
|
|
|
}
|
2022-07-02 22:28:35 +00:00
|
|
|
#body-inner > * > article:first-of-type {
|
2022-04-02 13:30:16 +00:00
|
|
|
break-before: avoid;
|
|
|
|
}
|