From 4e2a7f1248289cbcd06be7acebeb81642401e466 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=B6ren=20Weber?= Date: Sun, 13 Mar 2022 11:45:00 +0100 Subject: [PATCH] theme: wildspace --- static/css/theme.css | 218 ++++++++++++++++++++--------------------- static/css/variant.css | 8 +- 2 files changed, 113 insertions(+), 113 deletions(-) diff --git a/static/css/theme.css b/static/css/theme.css index 338052dc60..c319e60e6b 100644 --- a/static/css/theme.css +++ b/static/css/theme.css @@ -46,8 +46,8 @@ body { background-color: #ffffff; /* var(--MAIN-BG-color) */ color: #101010; /* var(--MAIN-TEXT-color) */ - display: flex; - flex-direction: row-reverse; /* IE11 to allow body to have initial focus for PS */ + display: flex; + 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-size: 16.25px; font-weight: 300; @@ -172,11 +172,11 @@ th { #content-wrapper { display: flex; - flex-direction: column; - flex: 1; /* fill rest of vertical space */ + flex-direction: column; + flex: 1; /* fill rest of vertical space */ overflow: hidden; - position: relative; /* PS */ - z-index: 410; + position: relative; /* PS */ + z-index: 410; } #sidebar a { @@ -338,17 +338,17 @@ th { } #body { - display: flex; - flex-direction: column; - height: 100vh; - margin-left: 300px; - min-height: 100vh; - min-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 */ - position: relative; /* PS */ - width: calc( 100vw - 300px); - z-index: 300; + display: flex; + flex-direction: column; + height: 100vh; + margin-left: 300px; + min-height: 100vh; + min-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 */ + position: relative; /* PS */ + width: calc( 100vw - 300px); + z-index: 300; } #body img, @@ -400,10 +400,10 @@ th { /* we limit width if we have large screens */ @media screen and ( min-width: 1300px ){ /* #sidebar/width + ./max-width */ - #body #body-inner { - margin: auto; - max-width: 1000px; - } + #body #body-inner { + margin: auto; + max-width: 1000px; + } } #body-inner.chapter { @@ -478,8 +478,8 @@ div.box { --VARIABLE-BOX-TEXT-color: var(--INTERNAL-BOX-NEUTRAL-TEXT-color); --VARIABLE-BOX-CAPTION-color: var(--INTERNAL-BOX-CAPTION-color); background-color: #808080; /* var(--INTERNAL-BOX-NEUTRAL-color) */ - -webkit-print-color-adjust: exact; - color-adjust: exact; + -webkit-print-color-adjust: exact; + color-adjust: exact; margin: 1.5rem 0; } @@ -677,8 +677,8 @@ code { border: 1px solid #f8e8c8; /* var(--CODE-INLINE-BORDER-color) */ border-radius: 2px; color: #5e5e5e; /* var(--CODE-INLINE-color) */ - -webkit-print-color-adjust: economy; - color-adjust: economy; + -webkit-print-color-adjust: economy; + color-adjust: economy; padding-left: 2px; padding-right: 2px; white-space: nowrap; @@ -700,7 +700,7 @@ pre { border-radius: 2px; color: #000000; /* var(--CODE-BLOCK-color) */ -webkit-print-color-adjust: economy; - color-adjust: economy; + color-adjust: economy; line-height: 1.15; padding: 1rem; } @@ -708,8 +708,8 @@ pre { pre code { background-color: inherit; color: inherit; - -webkit-print-color-adjust: economy; - color-adjust: economy; + -webkit-print-color-adjust: economy; + color-adjust: economy; border: 0; font-size: 15px; margin: 0; @@ -748,7 +748,7 @@ thead td { background-color: rgba( 134, 134, 134, .166 ); border: 1px solid rgba( 134, 134, 134, .333 ); -webkit-print-color-adjust: exact; - color-adjust: exact; + color-adjust: exact; padding: 0.5rem; } @@ -946,9 +946,9 @@ span.nav i{ #toc-menu, #sidebar-toggle-span { - border-right: thin solid rgba( 134, 134, 134, .333 ); - padding-left: 1rem; - padding-right: 1rem; + border-right: thin solid rgba( 134, 134, 134, .333 ); + padding-left: 1rem; + padding-right: 1rem; } #body #breadcrumbs { @@ -1022,19 +1022,19 @@ span.nav i{ @media only all and (max-width: 59.938em) { #sidebar { - min-width: 230px; - max-width: 230px; - width: 230px; + min-width: 230px; + max-width: 230px; + width: 230px; } #body { - margin-left: 230px; - min-width: calc( 100vw - 230px); - max-width: calc( 100vw - 230px); - width: calc( 100vw - 230px); + margin-left: 230px; + min-width: calc( 100vw - 230px); + max-width: calc( 100vw - 230px); + width: calc( 100vw - 230px); } } @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 { left: -230px; } @@ -1043,22 +1043,22 @@ span.nav i{ } .mobile-support #body { margin-left: 0; - min-width: 100vw; - max-width: 100vw; - width: 100vw; + min-width: 100vw; + max-width: 100vw; + width: 100vw; } .mobile-support.sidebar-flyout { overflow: hidden; } .mobile-support.sidebar-flyout #sidebar { left: 0; - z-index: 400; + z-index: 400; } .mobile-support.sidebar-flyout #body { margin-left: 230px; overflow: hidden; } - .mobile-support.sidebar-flyout #sidebar-overlay{ + .mobile-support.sidebar-flyout #sidebar-overlay{ background-color: rgba(134, 134, 134, 0.5); bottom: 0; cursor: pointer; @@ -1067,7 +1067,7 @@ span.nav i{ right: 0; top: 0; z-index: 500; - } + } } @@ -1257,13 +1257,13 @@ option { /* Table of contents */ .toc-flyout #toc-overlay{ - bottom: 0; - cursor: pointer; - left: 0; - position: absolute; - right: 0; - top: 0; - z-index: 470; + bottom: 0; + cursor: pointer; + left: 0; + position: absolute; + right: 0; + top: 0; + z-index: 470; } .toc-flyout .progress { @@ -1298,62 +1298,62 @@ option { } .btn { - background-image: none !important; - border: 1px solid transparent !important; - border-radius: 4px !important; - cursor: pointer !important; - display: inline-block !important; - font-size: 14px !important; - font-weight: 500; - line-height: 1.42857143 !important; - padding: 6px 12px !important; - margin-bottom: 0 !important; - text-align: center !important; - touch-action: manipulation !important; - transition: all 0.15s !important; - -ms-user-select: none !important; - -webkit-user-select: none !important; - user-select: none !important; - vertical-align: middle !important; - white-space: nowrap !important; + background-image: none !important; + border: 1px solid transparent !important; + border-radius: 4px !important; + cursor: pointer !important; + display: inline-block !important; + font-size: 14px !important; + font-weight: 500; + line-height: 1.42857143 !important; + padding: 6px 12px !important; + margin-bottom: 0 !important; + text-align: center !important; + touch-action: manipulation !important; + transition: all 0.15s !important; + -ms-user-select: none !important; + -webkit-user-select: none !important; + user-select: none !important; + vertical-align: middle !important; + white-space: nowrap !important; } .btn:focus { - outline: none !important; + outline: none !important; } .btn:hover, .btn:focus { - text-decoration: none !important; + text-decoration: none !important; } .btn-default { - color: #101010 !important; /* var(--MAIN-TEXT-color) */ - background-color: transparent; - border-color: rgba( 134, 134, 134, .333 ) !important; + color: #101010 !important; /* var(--MAIN-TEXT-color) */ + background-color: transparent; + border-color: rgba( 134, 134, 134, .333 ) !important; } .btn-default:hover, .btn-default:focus, .btn-default:active { - color: #ffffff !important; /* var(--MAIN-BG-color) */ - background-color: rgba( 134, 134, 134, .75 ) !important; - border-color: rgba( 134, 134, 134, .75 ) !important; + color: #ffffff !important; /* var(--MAIN-BG-color) */ + background-color: rgba( 134, 134, 134, .75 ) !important; + border-color: rgba( 134, 134, 134, .75 ) !important; } .btn-default:active { - background-image: none !important; + background-image: none !important; } /* anchors */ .anchor { - color: #134fbf; /* var(--MAIN-ANCHOR-color) */ - cursor: pointer; - font-size: .5em; - margin-left: .66em; - margin-top: .9em; - position: absolute; - visibility: hidden; + color: #134fbf; /* var(--MAIN-ANCHOR-color) */ + cursor: pointer; + font-size: .5em; + margin-left: .66em; + margin-top: .9em; + position: absolute; + visibility: hidden; } h2:hover .anchor, @@ -1361,7 +1361,7 @@ h3:hover .anchor, h4:hover .anchor, h5:hover .anchor, h6:hover .anchor { - visibility:visible; + visibility:visible; } /* Redfines headers style */ @@ -1372,37 +1372,37 @@ h3 a, h4 a, h5 a, h6 a { - font-weight: inherit; + font-weight: inherit; } #body h2 { - font-size: 2.2rem; - font-weight: 500; - margin-top: 2rem; + font-size: 2.2rem; + font-weight: 500; + margin-top: 2rem; } #body h3 { - font-size: 1.8rem; - font-weight: 500; - margin-top: 2rem; + font-size: 1.8rem; + font-weight: 500; + margin-top: 2rem; } #body h4 { - font-size: 1.85rem; - font-weight: 300; - margin-top: 2rem; + font-size: 1.85rem; + font-weight: 300; + margin-top: 2rem; } #body h5 { - font-size: 1.6rem; - font-weight: 300; - margin-top: 2rem; + font-size: 1.6rem; + font-weight: 300; + margin-top: 2rem; } #body h6 { - font-size: 1.3rem; - font-weight: 300; - margin-top: 2rem; + font-size: 1.3rem; + font-weight: 300; + margin-top: 2rem; } #body h1 + h2, @@ -1490,9 +1490,9 @@ h6 a { } @media only all and (max-width: 47.938em) { - #breadcrumbs .links, #top-github-link-text { - display: none; - } + #breadcrumbs .links, #top-github-link-text { + display: 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 */ #body-inner{ - display: block; - } + display: block; + } } /* clears the 'X' from Chrome's search input */ diff --git a/static/css/variant.css b/static/css/variant.css index 2dee5edfb2..204585dcdf 100644 --- a/static/css/variant.css +++ b/static/css/variant.css @@ -185,7 +185,7 @@ body #topbar { } #body a[aria-disabled="true"] { - color: var(--INTERNAL-MAIN-TEXT-color); + color: var(--INTERNAL-MAIN-TEXT-color); } .copy-to-clipboard-button { @@ -227,8 +227,8 @@ pre .copy-to-clipboard-button:hover { background-color: var(--INTERNAL-MAIN-LINK-color); } -.toc-flyout .progress { - background-color: var(--INTERNAL-MAIN-BG-color); +.progress { + background-color: var(--INTERNAL-MAIN-BG-color); } .btn-default { @@ -238,7 +238,7 @@ pre .copy-to-clipboard-button:hover { .btn-default:hover, .btn-default:focus, .btn-default:active { - color: var(--INTERNAL-MAIN-BG-color) !important; + color: var(--INTERNAL-MAIN-BG-color) !important; } .anchor {