theme: wildspace

This commit is contained in:
Sören Weber 2022-03-13 11:45:00 +01:00
parent 710713da25
commit 4e2a7f1248
No known key found for this signature in database
GPG key ID: 07D17FF580AE7589
2 changed files with 113 additions and 113 deletions

View file

@ -46,8 +46,8 @@
body { body {
background-color: #ffffff; /* var(--MAIN-BG-color) */ background-color: #ffffff; /* var(--MAIN-BG-color) */
color: #101010; /* var(--MAIN-TEXT-color) */ color: #101010; /* var(--MAIN-TEXT-color) */
display: flex; display: flex;
flex-direction: row-reverse; /* IE11 to allow body to have initial focus for PS */ flex-direction: row-reverse; /* IE11 to allow body to have initial focus for PS */
font-family: "Work Sans", "Helvetica", "Tahoma", "Geneva", "Arial", sans-serif; font-family: "Work Sans", "Helvetica", "Tahoma", "Geneva", "Arial", sans-serif;
font-size: 16.25px; font-size: 16.25px;
font-weight: 300; font-weight: 300;
@ -172,11 +172,11 @@ th {
#content-wrapper { #content-wrapper {
display: flex; display: flex;
flex-direction: column; flex-direction: column;
flex: 1; /* fill rest of vertical space */ flex: 1; /* fill rest of vertical space */
overflow: hidden; overflow: hidden;
position: relative; /* PS */ position: relative; /* PS */
z-index: 410; z-index: 410;
} }
#sidebar a { #sidebar a {
@ -338,17 +338,17 @@ th {
} }
#body { #body {
display: flex; display: flex;
flex-direction: column; flex-direction: column;
height: 100vh; height: 100vh;
margin-left: 300px; margin-left: 300px;
min-height: 100vh; min-height: 100vh;
min-width: calc( 100vw - 300px); min-width: calc( 100vw - 300px);
max-width: calc( 100vw - 300px); max-width: calc( 100vw - 300px);
overflow-wrap: break-word; /* avoid x-scrolling of body if it is to large to fit */ overflow-wrap: break-word; /* avoid x-scrolling of body if it is to large to fit */
position: relative; /* PS */ position: relative; /* PS */
width: calc( 100vw - 300px); width: calc( 100vw - 300px);
z-index: 300; z-index: 300;
} }
#body img, #body img,
@ -400,10 +400,10 @@ th {
/* we limit width if we have large screens */ /* we limit width if we have large screens */
@media screen and ( min-width: 1300px ){ /* #sidebar/width + ./max-width */ @media screen and ( min-width: 1300px ){ /* #sidebar/width + ./max-width */
#body #body-inner { #body #body-inner {
margin: auto; margin: auto;
max-width: 1000px; max-width: 1000px;
} }
} }
#body-inner.chapter { #body-inner.chapter {
@ -478,8 +478,8 @@ div.box {
--VARIABLE-BOX-TEXT-color: var(--INTERNAL-BOX-NEUTRAL-TEXT-color); --VARIABLE-BOX-TEXT-color: var(--INTERNAL-BOX-NEUTRAL-TEXT-color);
--VARIABLE-BOX-CAPTION-color: var(--INTERNAL-BOX-CAPTION-color); --VARIABLE-BOX-CAPTION-color: var(--INTERNAL-BOX-CAPTION-color);
background-color: #808080; /* var(--INTERNAL-BOX-NEUTRAL-color) */ background-color: #808080; /* var(--INTERNAL-BOX-NEUTRAL-color) */
-webkit-print-color-adjust: exact; -webkit-print-color-adjust: exact;
color-adjust: exact; color-adjust: exact;
margin: 1.5rem 0; margin: 1.5rem 0;
} }
@ -677,8 +677,8 @@ code {
border: 1px solid #f8e8c8; /* var(--CODE-INLINE-BORDER-color) */ border: 1px solid #f8e8c8; /* var(--CODE-INLINE-BORDER-color) */
border-radius: 2px; border-radius: 2px;
color: #5e5e5e; /* var(--CODE-INLINE-color) */ color: #5e5e5e; /* var(--CODE-INLINE-color) */
-webkit-print-color-adjust: economy; -webkit-print-color-adjust: economy;
color-adjust: economy; color-adjust: economy;
padding-left: 2px; padding-left: 2px;
padding-right: 2px; padding-right: 2px;
white-space: nowrap; white-space: nowrap;
@ -700,7 +700,7 @@ pre {
border-radius: 2px; border-radius: 2px;
color: #000000; /* var(--CODE-BLOCK-color) */ color: #000000; /* var(--CODE-BLOCK-color) */
-webkit-print-color-adjust: economy; -webkit-print-color-adjust: economy;
color-adjust: economy; color-adjust: economy;
line-height: 1.15; line-height: 1.15;
padding: 1rem; padding: 1rem;
} }
@ -708,8 +708,8 @@ pre {
pre code { pre code {
background-color: inherit; background-color: inherit;
color: inherit; color: inherit;
-webkit-print-color-adjust: economy; -webkit-print-color-adjust: economy;
color-adjust: economy; color-adjust: economy;
border: 0; border: 0;
font-size: 15px; font-size: 15px;
margin: 0; margin: 0;
@ -748,7 +748,7 @@ thead td {
background-color: rgba( 134, 134, 134, .166 ); background-color: rgba( 134, 134, 134, .166 );
border: 1px solid rgba( 134, 134, 134, .333 ); border: 1px solid rgba( 134, 134, 134, .333 );
-webkit-print-color-adjust: exact; -webkit-print-color-adjust: exact;
color-adjust: exact; color-adjust: exact;
padding: 0.5rem; padding: 0.5rem;
} }
@ -946,9 +946,9 @@ span.nav i{
#toc-menu, #toc-menu,
#sidebar-toggle-span { #sidebar-toggle-span {
border-right: thin solid rgba( 134, 134, 134, .333 ); border-right: thin solid rgba( 134, 134, 134, .333 );
padding-left: 1rem; padding-left: 1rem;
padding-right: 1rem; padding-right: 1rem;
} }
#body #breadcrumbs { #body #breadcrumbs {
@ -1022,19 +1022,19 @@ span.nav i{
@media only all and (max-width: 59.938em) { @media only all and (max-width: 59.938em) {
#sidebar { #sidebar {
min-width: 230px; min-width: 230px;
max-width: 230px; max-width: 230px;
width: 230px; width: 230px;
} }
#body { #body {
margin-left: 230px; margin-left: 230px;
min-width: calc( 100vw - 230px); min-width: calc( 100vw - 230px);
max-width: calc( 100vw - 230px); max-width: calc( 100vw - 230px);
width: calc( 100vw - 230px); width: calc( 100vw - 230px);
} }
} }
@media only all and (max-width: 47.938em) { @media only all and (max-width: 47.938em) {
/* we don't support sidebar flyout in IE */ /* we don't support sidebar flyout in IE */
.mobile-support #sidebar { .mobile-support #sidebar {
left: -230px; left: -230px;
} }
@ -1043,22 +1043,22 @@ span.nav i{
} }
.mobile-support #body { .mobile-support #body {
margin-left: 0; margin-left: 0;
min-width: 100vw; min-width: 100vw;
max-width: 100vw; max-width: 100vw;
width: 100vw; width: 100vw;
} }
.mobile-support.sidebar-flyout { .mobile-support.sidebar-flyout {
overflow: hidden; overflow: hidden;
} }
.mobile-support.sidebar-flyout #sidebar { .mobile-support.sidebar-flyout #sidebar {
left: 0; left: 0;
z-index: 400; z-index: 400;
} }
.mobile-support.sidebar-flyout #body { .mobile-support.sidebar-flyout #body {
margin-left: 230px; margin-left: 230px;
overflow: hidden; overflow: hidden;
} }
.mobile-support.sidebar-flyout #sidebar-overlay{ .mobile-support.sidebar-flyout #sidebar-overlay{
background-color: rgba(134, 134, 134, 0.5); background-color: rgba(134, 134, 134, 0.5);
bottom: 0; bottom: 0;
cursor: pointer; cursor: pointer;
@ -1067,7 +1067,7 @@ span.nav i{
right: 0; right: 0;
top: 0; top: 0;
z-index: 500; z-index: 500;
} }
} }
@ -1257,13 +1257,13 @@ option {
/* Table of contents */ /* Table of contents */
.toc-flyout #toc-overlay{ .toc-flyout #toc-overlay{
bottom: 0; bottom: 0;
cursor: pointer; cursor: pointer;
left: 0; left: 0;
position: absolute; position: absolute;
right: 0; right: 0;
top: 0; top: 0;
z-index: 470; z-index: 470;
} }
.toc-flyout .progress { .toc-flyout .progress {
@ -1298,62 +1298,62 @@ option {
} }
.btn { .btn {
background-image: none !important; background-image: none !important;
border: 1px solid transparent !important; border: 1px solid transparent !important;
border-radius: 4px !important; border-radius: 4px !important;
cursor: pointer !important; cursor: pointer !important;
display: inline-block !important; display: inline-block !important;
font-size: 14px !important; font-size: 14px !important;
font-weight: 500; font-weight: 500;
line-height: 1.42857143 !important; line-height: 1.42857143 !important;
padding: 6px 12px !important; padding: 6px 12px !important;
margin-bottom: 0 !important; margin-bottom: 0 !important;
text-align: center !important; text-align: center !important;
touch-action: manipulation !important; touch-action: manipulation !important;
transition: all 0.15s !important; transition: all 0.15s !important;
-ms-user-select: none !important; -ms-user-select: none !important;
-webkit-user-select: none !important; -webkit-user-select: none !important;
user-select: none !important; user-select: none !important;
vertical-align: middle !important; vertical-align: middle !important;
white-space: nowrap !important; white-space: nowrap !important;
} }
.btn:focus { .btn:focus {
outline: none !important; outline: none !important;
} }
.btn:hover, .btn:hover,
.btn:focus { .btn:focus {
text-decoration: none !important; text-decoration: none !important;
} }
.btn-default { .btn-default {
color: #101010 !important; /* var(--MAIN-TEXT-color) */ color: #101010 !important; /* var(--MAIN-TEXT-color) */
background-color: transparent; background-color: transparent;
border-color: rgba( 134, 134, 134, .333 ) !important; border-color: rgba( 134, 134, 134, .333 ) !important;
} }
.btn-default:hover, .btn-default:hover,
.btn-default:focus, .btn-default:focus,
.btn-default:active { .btn-default:active {
color: #ffffff !important; /* var(--MAIN-BG-color) */ color: #ffffff !important; /* var(--MAIN-BG-color) */
background-color: rgba( 134, 134, 134, .75 ) !important; background-color: rgba( 134, 134, 134, .75 ) !important;
border-color: rgba( 134, 134, 134, .75 ) !important; border-color: rgba( 134, 134, 134, .75 ) !important;
} }
.btn-default:active { .btn-default:active {
background-image: none !important; background-image: none !important;
} }
/* anchors */ /* anchors */
.anchor { .anchor {
color: #134fbf; /* var(--MAIN-ANCHOR-color) */ color: #134fbf; /* var(--MAIN-ANCHOR-color) */
cursor: pointer; cursor: pointer;
font-size: .5em; font-size: .5em;
margin-left: .66em; margin-left: .66em;
margin-top: .9em; margin-top: .9em;
position: absolute; position: absolute;
visibility: hidden; visibility: hidden;
} }
h2:hover .anchor, h2:hover .anchor,
@ -1361,7 +1361,7 @@ h3:hover .anchor,
h4:hover .anchor, h4:hover .anchor,
h5:hover .anchor, h5:hover .anchor,
h6:hover .anchor { h6:hover .anchor {
visibility:visible; visibility:visible;
} }
/* Redfines headers style */ /* Redfines headers style */
@ -1372,37 +1372,37 @@ h3 a,
h4 a, h4 a,
h5 a, h5 a,
h6 a { h6 a {
font-weight: inherit; font-weight: inherit;
} }
#body h2 { #body h2 {
font-size: 2.2rem; font-size: 2.2rem;
font-weight: 500; font-weight: 500;
margin-top: 2rem; margin-top: 2rem;
} }
#body h3 { #body h3 {
font-size: 1.8rem; font-size: 1.8rem;
font-weight: 500; font-weight: 500;
margin-top: 2rem; margin-top: 2rem;
} }
#body h4 { #body h4 {
font-size: 1.85rem; font-size: 1.85rem;
font-weight: 300; font-weight: 300;
margin-top: 2rem; margin-top: 2rem;
} }
#body h5 { #body h5 {
font-size: 1.6rem; font-size: 1.6rem;
font-weight: 300; font-weight: 300;
margin-top: 2rem; margin-top: 2rem;
} }
#body h6 { #body h6 {
font-size: 1.3rem; font-size: 1.3rem;
font-weight: 300; font-weight: 300;
margin-top: 2rem; margin-top: 2rem;
} }
#body h1 + h2, #body h1 + h2,
@ -1490,9 +1490,9 @@ h6 a {
} }
@media only all and (max-width: 47.938em) { @media only all and (max-width: 47.938em) {
#breadcrumbs .links, #top-github-link-text { #breadcrumbs .links, #top-github-link-text {
display: none; display: none;
} }
} }
@media all and (-ms-high-contrast:none) { @media all and (-ms-high-contrast:none) {
@ -1526,8 +1526,8 @@ h6 a {
/* IE can not display the topbar as sticky, so revert the style */ /* IE can not display the topbar as sticky, so revert the style */
#body-inner{ #body-inner{
display: block; display: block;
} }
} }
/* clears the 'X' from Chrome's search input */ /* clears the 'X' from Chrome's search input */

View file

@ -185,7 +185,7 @@ body #topbar {
} }
#body a[aria-disabled="true"] { #body a[aria-disabled="true"] {
color: var(--INTERNAL-MAIN-TEXT-color); color: var(--INTERNAL-MAIN-TEXT-color);
} }
.copy-to-clipboard-button { .copy-to-clipboard-button {
@ -227,8 +227,8 @@ pre .copy-to-clipboard-button:hover {
background-color: var(--INTERNAL-MAIN-LINK-color); background-color: var(--INTERNAL-MAIN-LINK-color);
} }
.toc-flyout .progress { .progress {
background-color: var(--INTERNAL-MAIN-BG-color); background-color: var(--INTERNAL-MAIN-BG-color);
} }
.btn-default { .btn-default {
@ -238,7 +238,7 @@ pre .copy-to-clipboard-button:hover {
.btn-default:hover, .btn-default:hover,
.btn-default:focus, .btn-default:focus,
.btn-default:active { .btn-default:active {
color: var(--INTERNAL-MAIN-BG-color) !important; color: var(--INTERNAL-MAIN-BG-color) !important;
} }
.anchor { .anchor {