2022-07-14 20:20:11 +00:00
|
|
|
@import "theme-relearn-light.css";
|
2023-12-03 14:23:32 +00:00
|
|
|
@import "chroma-relearn-light.css";
|
2022-07-14 20:20:11 +00:00
|
|
|
|
2023-09-23 08:19:35 +00:00
|
|
|
#R-sidebar {
|
2022-07-14 20:20:11 +00:00
|
|
|
display: none;
|
|
|
|
}
|
2023-09-23 08:19:35 +00:00
|
|
|
#R-body {
|
2022-10-07 10:03:31 +00:00
|
|
|
margin-left: 0 !important;
|
2023-02-09 07:36:04 +00:00
|
|
|
margin-right: 0 !important;
|
2022-10-07 10:03:31 +00:00
|
|
|
min-width: 100% !important;
|
|
|
|
max-width: 100% !important;
|
|
|
|
width: 100% !important;
|
2022-07-14 20:20:11 +00:00
|
|
|
}
|
2023-09-23 08:19:35 +00:00
|
|
|
#R-body #navigation {
|
2022-07-14 20:20:11 +00:00
|
|
|
display: none;
|
|
|
|
}
|
2023-02-07 17:07:26 +00:00
|
|
|
html{
|
|
|
|
font-size: 8.763pt;
|
2022-07-14 20:20:11 +00:00
|
|
|
}
|
|
|
|
body {
|
2023-05-27 22:05:41 +00:00
|
|
|
background-color: rgba( 255, 255, 255, 1 );
|
2022-07-14 20:20:11 +00:00
|
|
|
}
|
|
|
|
code.copy-to-clipboard-code {
|
2022-11-01 01:10:49 +00:00
|
|
|
border-start-end-radius: 2px;
|
2023-02-09 23:35:46 +00:00
|
|
|
border-end-end-radius: 2px;
|
2022-11-01 01:10:49 +00:00
|
|
|
border-inline-end-width: 1px;
|
|
|
|
}
|
2023-09-30 19:51:47 +00:00
|
|
|
pre:not(.mermaid) {
|
2023-05-27 22:05:41 +00:00
|
|
|
border: 1px solid rgba( 204, 204, 204, 1 );
|
2022-07-14 20:20:11 +00:00
|
|
|
}
|
2023-09-23 08:19:35 +00:00
|
|
|
#R-body #R-topbar{
|
2023-05-27 22:05:41 +00:00
|
|
|
background-color: rgba( 255, 255, 255, 1 ); /* avoid background bleeding*/
|
|
|
|
border-bottom: 1px solid rgba( 221, 221, 221, 1 );
|
2022-07-14 20:20:11 +00:00
|
|
|
border-radius: 0;
|
2023-05-27 22:05:41 +00:00
|
|
|
color: rgba( 119, 119, 119, 1 );
|
2022-07-14 20:20:11 +00:00
|
|
|
padding-left: 0; /* for print, we want to align with the footer to ease the layout */
|
2023-02-09 07:36:04 +00:00
|
|
|
padding-right: 0;
|
2022-07-14 20:20:11 +00:00
|
|
|
}
|
2023-09-23 08:19:35 +00:00
|
|
|
#R-body .topbar-button {
|
2023-09-13 21:30:04 +00:00
|
|
|
/* we don't need the buttons while printing */
|
2023-12-03 23:42:12 +00:00
|
|
|
/* we need !important to turn off JS topbar button handling setting element styles */
|
|
|
|
display: none !important;
|
2022-07-14 20:20:11 +00:00
|
|
|
}
|
2023-10-05 06:52:33 +00:00
|
|
|
@media screen and (max-width: 47.999rem) {
|
2023-09-23 08:19:35 +00:00
|
|
|
#R-body .topbar-breadcrumbs {
|
2023-09-13 21:30:04 +00:00
|
|
|
visibility: visible;
|
|
|
|
}
|
2022-07-14 20:20:11 +00:00
|
|
|
}
|
2023-09-23 08:19:35 +00:00
|
|
|
#R-body .copy-to-clipboard-button {
|
2022-07-14 20:20:11 +00:00
|
|
|
display: none;
|
|
|
|
}
|
|
|
|
|
2023-09-26 20:26:46 +00:00
|
|
|
#R-body .svg-reset-button {
|
|
|
|
display: none;
|
|
|
|
}
|
|
|
|
|
2023-09-23 08:19:35 +00:00
|
|
|
#R-body h1, #R-body h2, #R-body h3, #R-body .article-subheading, #R-body h4, #R-body h5, #R-body h6 {
|
2022-07-14 20:20:11 +00:00
|
|
|
/* better contrast for colored elements */
|
2023-05-27 22:05:41 +00:00
|
|
|
color: rgba( 0, 0, 0, 1 );
|
2022-07-14 20:20:11 +00:00
|
|
|
}
|
2023-09-23 08:19:35 +00:00
|
|
|
#R-body th, #R-body td,
|
|
|
|
#R-body code, #R-body strong, #R-body b,
|
|
|
|
#R-body li, #R-body dd, #R-body dt,
|
|
|
|
#R-body p,
|
|
|
|
#R-body a, #R-body button, #R-body .badge .badge-content {
|
2022-07-14 20:20:11 +00:00
|
|
|
/* better contrast for colored elements */
|
2023-05-27 22:05:41 +00:00
|
|
|
color: rgba( 0, 0, 0, 1 );
|
2022-07-14 20:20:11 +00:00
|
|
|
}
|
2023-09-23 08:19:35 +00:00
|
|
|
#R-body .anchor{
|
2022-07-14 20:20:11 +00:00
|
|
|
display: none;
|
|
|
|
}
|
2023-09-30 19:51:47 +00:00
|
|
|
#R-body pre:not(.mermaid),
|
2023-09-23 08:19:35 +00:00
|
|
|
#R-body code {
|
2023-05-27 22:05:41 +00:00
|
|
|
background-color: rgba( 255, 255, 255, 1 );
|
|
|
|
border-color: rgba( 221, 221, 221, 1 );
|
2022-07-14 20:20:11 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
hr{
|
2023-05-27 22:05:41 +00:00
|
|
|
border-bottom: 1px solid rgba( 221, 221, 221, 1 );
|
2022-07-14 20:20:11 +00:00
|
|
|
}
|
2023-09-23 08:19:35 +00:00
|
|
|
#R-body #R-body-inner {
|
2023-12-03 23:42:12 +00:00
|
|
|
overflow: visible; /* turn off limitations for perfect scrollbar */
|
2022-07-14 20:20:11 +00:00
|
|
|
/* reset paddings for chapters in screen */
|
|
|
|
padding: 0 3.25rem 4rem 3.25rem;
|
|
|
|
}
|
|
|
|
|
2023-09-23 08:19:35 +00:00
|
|
|
#R-body #R-body-inner h1 {
|
2023-05-27 22:05:41 +00:00
|
|
|
border-bottom: 1px solid rgba( 221, 221, 221, 1 );
|
2022-07-14 20:20:11 +00:00
|
|
|
margin-bottom: 2rem;
|
|
|
|
padding-bottom: .75rem;
|
|
|
|
}
|
2023-09-23 08:19:35 +00:00
|
|
|
#R-body-inner .chapter h3:first-of-type {
|
2022-07-14 20:20:11 +00:00
|
|
|
margin-top: 2rem;
|
|
|
|
}
|
2023-02-07 17:07:26 +00:00
|
|
|
|
|
|
|
/* Children shortcode */
|
|
|
|
.children p,
|
|
|
|
.children-li p,
|
|
|
|
.children-h2 p,
|
|
|
|
.children-h3 p {
|
2022-07-14 20:20:11 +00:00
|
|
|
font-size: 1rem;
|
|
|
|
}
|
|
|
|
|
|
|
|
.footline {
|
|
|
|
/* in print mode show footer line to signal reader the end of document */
|
2023-05-27 22:05:41 +00:00
|
|
|
border-top: 1px solid rgba( 221, 221, 221, 1 );
|
|
|
|
color: rgba( 119, 119, 119, 1 );
|
2022-07-14 20:20:11 +00:00
|
|
|
margin-top: 1.5rem;
|
|
|
|
padding-top: .75rem;
|
|
|
|
}
|
2023-09-21 15:25:13 +00:00
|
|
|
|
|
|
|
h1 + .footline{
|
|
|
|
/* if we have no content in the page we remove the footer as it is of no real value in print */
|
|
|
|
display: none;
|
|
|
|
}
|
|
|
|
|
2023-09-23 08:19:35 +00:00
|
|
|
#R-body #R-body-inner .headline a,
|
|
|
|
#R-body #R-body-inner .footline a,
|
|
|
|
#R-body #R-body-inner .btn a {
|
2022-07-14 20:20:11 +00:00
|
|
|
text-decoration: none;
|
|
|
|
}
|
2023-09-23 08:19:35 +00:00
|
|
|
#R-body #R-body-inner a {
|
2022-07-14 20:20:11 +00:00
|
|
|
/* 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;
|
|
|
|
}
|
2023-09-23 08:19:35 +00:00
|
|
|
#R-topbar{
|
2022-07-14 20:20:11 +00:00
|
|
|
/* the header is sticky which is not suitable for print; */
|
|
|
|
position: inherit; /* IE11 doesn't know "initial" here */
|
|
|
|
}
|
2023-09-23 08:19:35 +00:00
|
|
|
#R-topbar > .topbar-wrapper {
|
2023-05-27 22:05:41 +00:00
|
|
|
background-color: rgba( 255, 255, 255, 1 ); /* IE11 doesn't know "initial" here */
|
2022-07-14 20:20:11 +00:00
|
|
|
}
|
2023-09-23 08:19:35 +00:00
|
|
|
#R-body .topbar-sidebar-divider {
|
2023-09-12 21:10:21 +00:00
|
|
|
border-width: 0;
|
|
|
|
}
|
2023-10-03 11:21:35 +00:00
|
|
|
.term-list {
|
2022-07-14 20:20:11 +00:00
|
|
|
display: none;
|
|
|
|
}
|
|
|
|
mark {
|
|
|
|
background: inherit;
|
|
|
|
color: inherit;
|
|
|
|
}
|
2023-09-26 20:26:46 +00:00
|
|
|
.mermaid.zoom:hover {
|
2022-07-14 20:20:11 +00:00
|
|
|
border-color: transparent;
|
|
|
|
}
|
|
|
|
div.box > .box-content {
|
2023-05-27 22:05:41 +00:00
|
|
|
background-color: rgba( 255, 255, 255, 1 );
|
2022-07-14 20:20:11 +00:00
|
|
|
}
|
2022-10-06 20:30:40 +00:00
|
|
|
|
2022-07-14 20:20:11 +00:00
|
|
|
.btn,
|
2023-09-23 08:19:35 +00:00
|
|
|
#R-body .tab-nav-button {
|
2023-06-04 22:28:49 +00:00
|
|
|
color: rgba( 0, 0, 0, 1 );
|
2022-07-14 20:20:11 +00:00
|
|
|
}
|
2023-09-23 08:19:35 +00:00
|
|
|
#R-body .tab-nav-button.active {
|
2023-06-04 22:28:49 +00:00
|
|
|
border-bottom-color: rgba( 255, 255, 255, 1 );
|
2023-05-27 22:05:41 +00:00
|
|
|
color: rgba( 0, 0, 0, 1 );
|
2022-07-14 20:20:11 +00:00
|
|
|
}
|
2023-10-01 19:07:53 +00:00
|
|
|
#R-body .tab-nav-button.active > .tab-nav-text {
|
2023-06-04 22:28:49 +00:00
|
|
|
background-color: rgba( 255, 255, 255, 1 );
|
|
|
|
}
|
2023-09-23 08:19:35 +00:00
|
|
|
#R-body .tab-content-text {
|
2023-06-04 22:28:49 +00:00
|
|
|
background-color: rgba( 255, 255, 255, 1 ) ;
|
|
|
|
color: rgba( 0, 0, 0, 1 );
|
2022-07-14 20:20:11 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
article {
|
|
|
|
break-before: page;
|
|
|
|
}
|
2023-09-23 08:19:35 +00:00
|
|
|
#R-body-inner > * > article:first-of-type {
|
2022-07-14 20:20:11 +00:00
|
|
|
break-before: avoid;
|
|
|
|
}
|