hot_docs 0.0.0

data/website/app/assets/stylesheets/hot_docs.css

@@ -0,0 +1,999 @@
+/* CSS: RESET */
+
+/* https://unpkg.com/tailwindcss@3.4.17/src/css/preflight.css */
+
+/*
+1. Prevent padding and border from affecting element width. (https://github.com/mozdevs/cssremedy/issues/4)
+2. Allow adding a border to an element by just adding a border-width. (https://github.com/tailwindcss/tailwindcss/pull/116)
+*/
+
+*,
+::before,
+::after {
+  box-sizing: border-box; /* 1 */
+  border-width: 0; /* 2 */
+  border-style: solid; /* 2 */
+  border-color: currentColor; /* 2 */
+}
+
+::before,
+::after {
+  --tw-content: '';
+}
+
+/*
+1. Use a consistent sensible line-height in all browsers.
+2. Prevent adjustments of font size after orientation changes in iOS.
+3. Use a more readable tab size.
+4. Use the user's configured `sans` font-family by default.
+5. Use the user's configured `sans` font-feature-settings by default.
+6. Use the user's configured `sans` font-variation-settings by default.
+7. Disable tap highlights on iOS
+*/
+
+html,
+:host {
+  line-height: 1.5; /* 1 */
+  -webkit-text-size-adjust: 100%; /* 2 */
+  -moz-tab-size: 4; /* 3 */
+  tab-size: 4; /* 3 */
+  font-family: ui-sans-serif, system-ui, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji"; /* 4 */
+  font-feature-settings: normal; /* 5 */
+  font-variation-settings: normal; /* 6 */
+  -webkit-tap-highlight-color: transparent; /* 7 */
+}
+
+/*
+1. Remove the margin in all browsers.
+2. Inherit line-height from `html` so users can set them as a class directly on the `html` element.
+*/
+
+body {
+  margin: 0; /* 1 */
+  line-height: inherit; /* 2 */
+}
+
+/*
+1. Add the correct height in Firefox.
+2. Correct the inheritance of border color in Firefox. (https://bugzilla.mozilla.org/show_bug.cgi?id=190655)
+3. Ensure horizontal rules are visible by default.
+*/
+
+hr {
+  height: 0; /* 1 */
+  color: inherit; /* 2 */
+  border-top-width: 1px; /* 3 */
+}
+
+/*
+Add the correct text decoration in Chrome, Edge, and Safari.
+*/
+
+abbr:where([title]) {
+  text-decoration: underline dotted;
+}
+
+/*
+Remove the default font size and weight for headings.
+*/
+
+h1,
+h2,
+h3,
+h4,
+h5,
+h6 {
+  font-size: inherit;
+  font-weight: inherit;
+}
+
+/*
+Reset links to optimize for opt-in styling instead of opt-out.
+*/
+
+a {
+  color: inherit;
+  text-decoration: inherit;
+}
+
+/*
+Add the correct font weight in Edge and Safari.
+*/
+
+b,
+strong {
+  font-weight: bolder;
+}
+
+/*
+1. Use the user's configured `mono` font-family by default.
+2. Use the user's configured `mono` font-feature-settings by default.
+3. Use the user's configured `mono` font-variation-settings by default.
+4. Correct the odd `em` font sizing in all browsers.
+*/
+
+code,
+kbd,
+samp,
+pre {
+  font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace; /* 1 */
+  font-feature-settings: normal; /* 2 */
+  font-variation-settings: normal; /* 3 */
+  font-size: 1em; /* 4 */
+}
+
+/*
+Add the correct font size in all browsers.
+*/
+
+small {
+  font-size: 80%;
+}
+
+/*
+Prevent `sub` and `sup` elements from affecting the line height in all browsers.
+*/
+
+sub,
+sup {
+  font-size: 75%;
+  line-height: 0;
+  position: relative;
+  vertical-align: baseline;
+}
+
+sub {
+  bottom: -0.25em;
+}
+
+sup {
+  top: -0.5em;
+}
+
+/*
+1. Remove text indentation from table contents in Chrome and Safari. (https://bugs.chromium.org/p/chromium/issues/detail?id=999088, https://bugs.webkit.org/show_bug.cgi?id=201297)
+2. Correct table border color inheritance in all Chrome and Safari. (https://bugs.chromium.org/p/chromium/issues/detail?id=935729, https://bugs.webkit.org/show_bug.cgi?id=195016)
+3. Remove gaps between table borders by default.
+*/
+
+table {
+  text-indent: 0; /* 1 */
+  border-color: inherit; /* 2 */
+  border-collapse: collapse; /* 3 */
+}
+
+/*
+1. Change the font styles in all browsers.
+2. Remove the margin in Firefox and Safari.
+3. Remove default padding in all browsers.
+*/
+
+button,
+input,
+optgroup,
+select,
+textarea {
+  font-family: inherit; /* 1 */
+  font-feature-settings: inherit; /* 1 */
+  font-variation-settings: inherit; /* 1 */
+  font-size: 100%; /* 1 */
+  font-weight: inherit; /* 1 */
+  line-height: inherit; /* 1 */
+  letter-spacing: inherit; /* 1 */
+  color: inherit; /* 1 */
+  margin: 0; /* 2 */
+  padding: 0; /* 3 */
+}
+
+/*
+Remove the inheritance of text transform in Edge and Firefox.
+*/
+
+button,
+select {
+  text-transform: none;
+}
+
+/*
+1. Correct the inability to style clickable types in iOS and Safari.
+2. Remove default button styles.
+*/
+
+button,
+input:where([type='button']),
+input:where([type='reset']),
+input:where([type='submit']) {
+  -webkit-appearance: button; /* 1 */
+  background-color: transparent; /* 2 */
+  background-image: none; /* 2 */
+}
+
+/*
+Use the modern Firefox focus style for all focusable elements.
+*/
+
+:-moz-focusring {
+  outline: auto;
+}
+
+/*
+Remove the additional `:invalid` styles in Firefox. (https://github.com/mozilla/gecko-dev/blob/2f9eacd9d3d995c937b4251a5557d95d494c9be1/layout/style/res/forms.css#L728-L737)
+*/
+
+:-moz-ui-invalid {
+  box-shadow: none;
+}
+
+/*
+Add the correct vertical alignment in Chrome and Firefox.
+*/
+
+progress {
+  vertical-align: baseline;
+}
+
+/*
+Correct the cursor style of increment and decrement buttons in Safari.
+*/
+
+::-webkit-inner-spin-button,
+::-webkit-outer-spin-button {
+  height: auto;
+}
+
+/*
+1. Correct the odd appearance in Chrome and Safari.
+2. Correct the outline style in Safari.
+*/
+
+[type='search'] {
+  -webkit-appearance: textfield; /* 1 */
+  outline-offset: -2px; /* 2 */
+}
+
+/*
+Remove the inner padding in Chrome and Safari on macOS.
+*/
+
+::-webkit-search-decoration {
+  -webkit-appearance: none;
+}
+
+/*
+1. Correct the inability to style clickable types in iOS and Safari.
+2. Change font properties to `inherit` in Safari.
+*/
+
+::-webkit-file-upload-button {
+  -webkit-appearance: button; /* 1 */
+  font: inherit; /* 2 */
+}
+
+/*
+Add the correct display in Chrome and Safari.
+*/
+
+summary {
+  display: list-item;
+}
+
+/*
+Removes the default spacing and border for appropriate elements.
+*/
+
+blockquote,
+dl,
+dd,
+h1,
+h2,
+h3,
+h4,
+h5,
+h6,
+hr,
+figure,
+p,
+pre {
+  margin: 0;
+}
+
+fieldset {
+  margin: 0;
+  padding: 0;
+}
+
+legend {
+  padding: 0;
+}
+
+ol,
+ul,
+menu {
+  list-style: none;
+  margin: 0;
+  padding: 0;
+}
+
+/*
+Reset default styling for dialogs.
+*/
+dialog {
+  padding: 0;
+}
+
+/*
+Prevent resizing textareas horizontally by default.
+*/
+
+textarea {
+  resize: vertical;
+}
+
+/*
+1. Reset the default placeholder opacity in Firefox. (https://github.com/tailwindlabs/tailwindcss/issues/3300)
+2. Set the default placeholder color to the user's configured gray 400 color.
+*/
+
+input::placeholder,
+textarea::placeholder {
+  opacity: 1; /* 1 */
+  color: #9ca3af; /* 2 */
+}
+
+/*
+Set the default cursor for buttons.
+*/
+
+button,
+[role="button"] {
+  cursor: pointer;
+}
+
+/*
+Make sure disabled buttons don't get the pointer cursor.
+*/
+:disabled {
+  cursor: default;
+}
+
+/*
+1. Make replaced elements `display: block` by default. (https://github.com/mozdevs/cssremedy/issues/14)
+2. Add `vertical-align: middle` to align replaced elements more sensibly by default. (https://github.com/jensimmons/cssremedy/issues/14#issuecomment-634934210)
+   This can trigger a poorly considered lint error in some tools but is included by design.
+*/
+
+img,
+svg,
+video,
+canvas,
+audio,
+iframe,
+embed,
+object {
+  display: block; /* 1 */
+  vertical-align: middle; /* 2 */
+}
+
+/*
+Constrain images and videos to the parent width and preserve their intrinsic aspect ratio. (https://github.com/mozdevs/cssremedy/issues/14)
+*/
+
+img,
+video {
+  max-width: 100%;
+  height: auto;
+}
+
+/* Make elements with the HTML hidden attribute stay hidden by default */
+[hidden]:where(:not([hidden="until-found"])) {
+  display: none;
+}
+
+/* CSS: UNRESET */
+
+.article * {
+  all: revert-layer; /* With rever svg path is unset */
+}
+
+/* CSS: GLOBAL */
+
+:root {
+  --background-color: white;
+  --column-border-color: #dadada;
+  --content-padding-bottom: 2rem;
+  --link-active-color: black;
+  --link-color: #707070;
+  --nav-height: 3.75rem;
+  --text-color: #1c1e21;
+}
+
+[data-theme=dark]:root {
+  --background-color: #1b1b1d;
+  --column-border-color: #535353;
+  --link-active-color: white;
+  --link-color: #909090;
+  --text-color: #e3e1de;
+}
+
+html {
+  -webkit-font-smoothing: antialiased;
+  background-color: var(--background-color);
+  color: var(--text-color);
+  scroll-padding-top: calc(var(--nav-height) + 0.2rem);
+  text-rendering: optimizelegibility;
+}
+
+/* Sticky footer */
+
+html, body {
+  min-height: 100vh;
+}
+
+body {
+  display: flex;
+  flex-direction: column;
+}
+
+/* CSS: NAV */
+
+:root {
+  --nav-background-color: white;
+  --nav-link-active-color: var(--link-active-color);
+  --nav-link-color: var(--link-color);
+  --nav-padding-horizontal: 1rem;
+  --nav-padding-vertical: 0.5rem;
+  --nav-shadow: 0 1px 2px 0 #0000001a;
+  --nav-title-color: #1c1e21;
+  --nav-toggle-color: rgb(28, 30, 33);
+  --sidenav-padding-horizontal: 0.75rem;
+}
+
+[data-theme=dark]:root {
+  --nav-background-color: #242526;
+  --nav-link-active-color: var(--link-active-color);
+  --nav-link-color: var(--link-color);
+  --nav-title-color: #e3e1de;
+  --nav-toggle-color: rgb(227, 225, 222);
+}
+
+/* Added to <body> */
+.sidenav--open {
+  overflow: hidden;
+}
+
+.nav {
+  align-items: center;
+  background-color: var(--nav-background-color);
+  box-shadow: var(--nav-shadow);
+  display: flex;
+  flex: 0 0 auto;
+  height: var(--nav-height);
+  justify-content: space-between;
+  padding: var(--nav-padding-vertical) var(--nav-padding-horizontal);
+  position: sticky;
+  top: 0;
+  z-index: 10;
+}
+
+.nav__section {
+  align-items: center;
+  display: flex;
+  gap: 1.5rem;
+}
+
+.nav__links {
+  display: none;
+
+  @media (min-width: 64rem) {
+    align-items: center;
+    display: flex;
+    gap: 1.5rem;
+  }
+}
+
+.nav__link {
+  color: var(--nav-link-color);
+
+  &.active {
+    color: var(--nav-link-active-color);
+  }
+
+  &:hover {
+    color: var(--nav-link-active-color);
+  }
+}
+
+.nav__brand {
+  align-items: center;
+  display: flex;
+  gap: 0.5rem;
+}
+
+.nav__logo-wrapper {
+  height: 2rem;
+  width: 2rem;
+}
+
+.nav__logo {
+  height: 100%;
+  width: 100%;
+}
+
+.nav__title {
+  color: var(--nav-title-color);
+  font-weight: bold;
+}
+
+.nav__toggle {
+  color: var(--nav-toggle-color);
+  height: 1.5rem;
+  width: 1.5rem;
+
+  @media (min-width: 64rem) {
+    display: none;
+  }
+}
+
+.sidenav-backdrop {
+  background-color: rgba(0, 0, 0, .6);
+  inset: 0;
+  opacity: 0;
+  position: fixed;
+  transition-duration: 0.2s;
+  transition-property: visibility, opacity;
+  transition-timing-function: ease-in-out;
+  visibility: hidden;
+}
+
+.sidenav--open .sidenav-backdrop {
+  opacity: 1;
+  visibility: visible;
+}
+
+.sidenav {
+  background-color: var(--nav-background-color);
+  bottom: 0;
+  left: 0;
+  opacity: 0;
+  overflow-x: hidden;
+  position: fixed;
+  top: 0;
+  transform: translate(-100%);
+  transition-duration: 0.2s;
+  transition-property: transform, visibility, opacity;
+  transition-timing-function: ease-in-out;
+  visibility: hidden;
+  width: 85vw;
+}
+
+.sidenav--open .sidenav {
+  opacity: 1;
+  transform: translate(0, 0);
+  visibility: visible;
+}
+
+.sidenav__header {
+  align-items: center;
+  background-color: var(--nav-background-color);
+  box-shadow: var(--nav-shadow);
+  display: flex;
+  height: var(--nav-height);
+  justify-content: space-between;
+  padding: var(--nav-padding-vertical) var(--nav-padding-horizontal);
+  position: sticky;
+  top: 0;
+  z-index: 10;
+}
+
+.sidenav__toggle {
+  color: var(--nav-toggle-color);
+  height: 1rem;
+  width: 1rem;
+}
+
+.sidenav__sections {
+  display: flex;
+  transform: translate(-85vw);
+  transition-duration: 0.2s;
+  transition-property: transform;
+  transition-timing-function: ease-in-out;
+}
+
+.sidenav__sections--main {
+  transform: translate(0);
+}
+
+.sidenav__section {
+  flex-shrink: 0;
+  padding: 0.5rem;
+  width: 85vw;
+}
+
+.sidenav__back-button {
+  font-weight: bold;
+}
+
+/* CSS: MENU */
+
+:root {
+  --menu-accordion-color: #7f7f7f;
+  --menu-border-color: var(--column-border-color);
+  --menu-link-active-color: var(--link-active-color);
+  --menu-link-hover-background-color: rgba(0, 0, 0, .05);
+  --menu-link-color: var(--link-color);
+}
+
+[data-theme=dark]:root {
+  --menu-accordion-color: #a0a0a0;
+  --menu-link-active-color: var(--link-active-color);
+  --menu-link-hover-background-color: rgba(255, 255, 255, .05);
+  --menu-link-color: var(--link-color);
+}
+
+.menu {
+  border-right: 1px solid var(--menu-border-color);
+  display: none;
+  width: 20rem;
+
+  @media (min-width: 64rem) {
+    display: initial;
+  }
+}
+
+.menu__sections {
+  padding-bottom: var(--content-padding-bottom);
+  position: sticky;
+  top: var(--nav-height);
+}
+
+.menu__section {
+  padding: 0.5rem;
+}
+
+.menu__section .menu__section {
+  display: none;
+  padding: 0;
+  padding-left: 1.5rem;
+}
+
+.menu__row--expanded ~ .menu__section {
+  display: revert;
+}
+
+.menu__row {
+  align-items: center;
+  display: flex;
+  height: 2.5rem;
+  justify-content: space-between;
+}
+
+.menu__link {
+  border-radius: 0.25rem;
+  color: var(--menu-link-color);
+  display: inline-block;
+  flex: 1 0 0;
+  overflow: hidden;
+  padding: 0.375rem 1rem;
+  text-overflow: ellipsis;
+  white-space: nowrap;
+
+  &.active {
+    color: var(--menu-link-active-color);
+  }
+
+  &:hover {
+    background-color: var(--menu-link-hover-background-color);
+  }
+}
+
+.menu__toggle {
+  align-items: center;
+  align-self: stretch;
+  border-radius: 0.25rem;
+  display: flex;
+  flex: 0 0 auto;
+  justify-content: center;
+
+  &:hover {
+    background-color: var(--menu-link-hover-background-color);
+  }
+}
+
+/* Do not display the toggle... */
+.menu__toggle {
+  display: none;
+}
+
+/* ...unless it has a sibling section. */
+.menu__row:has(~ .menu__section) .menu__toggle {
+  display: revert;
+}
+
+.menu__toggle-icon {
+  color: var(--menu-accordion-color);
+  transform: rotate(90deg);
+  height: 2rem;
+  width: 2rem;
+}
+
+.menu__row--expanded .menu__toggle-icon {
+  transform: rotate(180deg);
+}
+
+/* CSS: CONTENT */
+
+.content {
+  display: flex;
+  flex: 1 0 auto;
+}
+
+.main {
+  display: flex;
+  flex-grow: 1;
+  max-width: 100%;
+  padding-bottom: var(--content-padding-bottom);
+
+  @media (min-width: 64rem) {
+    width: calc(100% - 20rem);
+  }
+}
+
+.central {
+  flex-grow: 1;
+  max-width: 100%;
+  padding-inline: var(--nav-padding-horizontal);
+
+  @media (min-width: 64rem) {
+    padding-inline: 2rem;
+    width: 75%;
+  }
+}
+
+/* CSS: TOC */
+
+:root {
+  --sidetoc-code-background-color: var(--toc-code-background-color);
+  --sidetoc-code-border-color: var(--toc-code-border-color);
+  --sidetoc-link-color: var(--link-color);
+  --sidetoc-link-active-color: var(--link-active-color);
+  --toc-background-color: #e9e9e9;
+  --toc-code-background-color: #eee;
+  --toc-code-border-color: #00000022;
+  --toc-divider-color: #b0b0b0;
+  --toc-link-active-color: black;
+  --toc-link-color: #606060;
+}
+
+[data-theme=dark]:root {
+  --sidetoc-code-background-color: var(--toc-code-background-color);
+  --sidetoc-code-border-color: var(--toc-code-border-color);
+  --sidetoc-link-color: var(--link-color);
+  --sidetoc-link-active-color: var(--link-active-color);
+  --toc-background-color: #444444;
+  --toc-code-background-color: #2b2b2b;
+  --toc-code-border-color: #ffffff22;
+  --toc-divider-color: #909090;
+  --toc-link-active-color: white;
+  --toc-link-color: #c0c0c0;
+}
+
+.toc {
+  background-color: var(--toc-background-color);
+  border-radius: 5px;
+  cursor: pointer;
+  margin-block: 1rem;
+  user-select: none;
+
+  @media (min-width: 85rem) {
+    display: none;
+  }
+
+  &::details-content {
+    height: 0;
+    overflow: hidden;
+    transition-property: height, content-visibility;
+    transition-duration: 0.5s;
+    transition-behavior: allow-discrete;
+  }
+
+  &[open]::details-content {
+    height: auto;
+    /* On supported browsers, allow transition to height: auto; */
+    height: calc-size(auto, size);
+  }
+}
+
+.toc__label {
+  padding: 0.3rem 0.6rem;
+}
+
+.toc__entries {
+  border-top: 1px solid var(--toc-divider-color);
+  display: flex;
+  flex-direction: column;
+  font-size: 0.9rem;
+  padding: 0.5rem 0.6rem;
+  gap: 0.4rem;
+}
+
+.toc__link {
+  color: var(--toc-link-color);
+  display: inline-block;
+
+  &.h2 {
+    margin-left: 1rem;
+  }
+
+  &.h3 {
+    margin-left: 2rem;
+  }
+
+  &.h4 {
+    margin-left: 3rem;
+  }
+
+  &.h5 {
+    margin-left: 4rem;
+  }
+
+  &.h6 {
+    margin-left: 5rem;
+  }
+
+  &.active {
+    color: var(--toc-link-active-color);
+  }
+
+  &:hover {
+    color: var(--toc-link-active-color);
+  }
+
+  code {
+    background: var(--toc-code-background-color);
+    border-radius: 5px;
+    border: .1rem solid var(--toc-code-border-color);
+    padding: 0.1rem 0.2rem;
+    word-break: break-all;
+  }
+}
+
+.sidetoc {
+  display: none;
+  flex: 0 0 25%;
+  max-width: 25%;
+
+  @media (min-width: 85rem) {
+    display: initial;
+  }
+}
+
+.sidetoc__entries {
+  border-left: 1px solid var(--column-border-color);
+  display: flex;
+  flex-direction: column;
+  font-size: 0.9rem;
+  gap: 0.4rem;
+  padding: 0 1.5rem;
+  position: sticky;
+  top: calc(var(--nav-height) + 0.5rem + 0.375rem); /* Align with menu */
+}
+
+.sidetoc__link {
+  color: var(--sidetoc-link-color);
+  display: inline-block;
+
+  &.h2 {
+    margin-left: 1rem;
+  }
+
+  &.h3 {
+    margin-left: 2rem;
+  }
+
+  &.h4 {
+    margin-left: 3rem;
+  }
+
+  &.h5 {
+    margin-left: 4rem;
+  }
+
+  &.h6 {
+    margin-left: 5rem;
+  }
+
+  &.active {
+    color: var(--sidetoc-link-active-color);
+  }
+
+  &:hover {
+    color: var(--sidetoc-link-active-color);
+  }
+
+  code {
+    background: var(--sidetoc-code-background-color);
+    border-radius: 5px;
+    border: .1rem solid var(--sidetoc-code-border-color);
+    padding: 0.1rem 0.2rem;
+    word-break: break-all;
+  }
+}
+
+/* CSS: FOOTER */
+
+:root {
+  --footer-background-color: #e9e9e9;
+}
+
+[data-theme=dark]:root {
+  --footer-background-color: #444444;
+}
+
+.footer {
+  background-color: var(--footer-background-color);
+  flex: 0 0 auto;
+  padding: 4rem 1rem;
+}
+
+.footer__sections {
+  display: grid;
+  gap: 1.5rem;
+  grid-template-columns: 1fr;
+  max-width: 1200px;
+  margin: auto;
+
+  @media (min-width: 40rem) {
+    grid-template-columns: repeat(2, 1fr);
+  }
+
+  @media (min-width: 64rem) {
+    grid-template-columns: repeat(4, 1fr);
+  }
+}
+
+.footer__section {
+  flex: 1 1 0;
+}
+
+.footer__heading {
+  font-weight: bold;
+}
+
+.footer__link:hover {
+  text-decoration: underline;
+}
+
+.footer__logo {
+  margin: 3rem auto;
+  height: 8rem;
+  width: 8rem;
+}
+
+.credits {
+  text-align: center;
+}
+
+.credits__link {
+  text-decoration: underline;
+}
+
+.credits__logo {
+  display: inline-block;
+  height: 2rem;
+  margin-left: 0.8rem;
+  width: 2rem;
+}
+
+/* CSS: HELPERS */
+
+.external-link {
+  align-items: center;
+  display: inline-flex;
+  gap: 0.3rem;
+  margin-right: 0.5ch;
+}
+
+.external-link__icon {
+  height: 0.6rem;
+  width: 0.6rem;
+}