mirror of
https://github.com/wassname/jaxtyping.git
synced 2026-08-21 11:16:29 +08:00
Also added support for matching dtypes using regexes, and for nesting e.g. Shaped[Float[Array, "dim1 dim2"], "dim3"].
168 lines
3.2 KiB
CSS
168 lines
3.2 KiB
CSS
/* Fix /page#foo going to the top of the viewport and being hidden by the navbar */
|
|
html {
|
|
scroll-padding-top: 50px;
|
|
}
|
|
|
|
/* Fit the Twitter handle alongside the GitHub one in the top right. */
|
|
|
|
div.md-header__source {
|
|
width: revert;
|
|
max-width: revert;
|
|
}
|
|
|
|
a.md-source {
|
|
display: inline-block;
|
|
}
|
|
|
|
.md-source__repository {
|
|
max-width: 100%;
|
|
}
|
|
|
|
/* Emphasise sections of nav on left hand side */
|
|
|
|
nav.md-nav {
|
|
padding-left: 5px;
|
|
}
|
|
|
|
nav.md-nav--secondary {
|
|
border-left: revert !important;
|
|
}
|
|
|
|
.md-nav__title {
|
|
font-size: 0.9rem;
|
|
}
|
|
|
|
.md-nav__item--section > .md-nav__link {
|
|
font-size: 0.9rem;
|
|
}
|
|
|
|
/* Indent autogenerated documentation */
|
|
|
|
div.doc-contents {
|
|
padding-left: 25px;
|
|
border-left: 4px solid rgba(230, 230, 230);
|
|
}
|
|
|
|
/* Increase visibility of splitters "---" */
|
|
|
|
[data-md-color-scheme="default"] .md-typeset hr {
|
|
border-bottom-color: rgb(0, 0, 0);
|
|
border-bottom-width: 1pt;
|
|
}
|
|
|
|
[data-md-color-scheme="slate"] .md-typeset hr {
|
|
border-bottom-color: rgb(230, 230, 230);
|
|
}
|
|
|
|
/* More space at the bottom of the page */
|
|
|
|
.md-main__inner {
|
|
margin-bottom: 1.5rem;
|
|
}
|
|
|
|
/* Remove prev/next footer buttons */
|
|
|
|
.md-footer__inner {
|
|
display: none;
|
|
}
|
|
|
|
/* Change font sizes */
|
|
|
|
html {
|
|
/* Decrease font size for overall webpage
|
|
Down from 137.5% which is the Material default */
|
|
font-size: 110%;
|
|
}
|
|
|
|
.md-typeset .admonition {
|
|
/* Increase font size in admonitions */
|
|
font-size: 100% !important;
|
|
}
|
|
|
|
.md-typeset details {
|
|
/* Increase font size in details */
|
|
font-size: 100% !important;
|
|
}
|
|
|
|
.md-typeset h1 {
|
|
font-size: 1.6rem;
|
|
}
|
|
|
|
.md-typeset h2 {
|
|
font-size: 1.5rem;
|
|
}
|
|
|
|
.md-typeset h3 {
|
|
font-size: 1.3rem;
|
|
}
|
|
|
|
.md-typeset h4 {
|
|
font-size: 1.1rem;
|
|
}
|
|
|
|
.md-typeset h5 {
|
|
font-size: 0.9rem;
|
|
}
|
|
|
|
.md-typeset h6 {
|
|
font-size: 0.8rem;
|
|
}
|
|
|
|
/* Bugfix: remove the superfluous parts generated when doing:
|
|
|
|
??? Blah
|
|
|
|
::: library.something
|
|
*/
|
|
|
|
.md-typeset details .mkdocstrings > h4 {
|
|
display: none;
|
|
}
|
|
|
|
.md-typeset details .mkdocstrings > h5 {
|
|
display: none;
|
|
}
|
|
|
|
/* Change default colours for <a> tags */
|
|
|
|
[data-md-color-scheme="default"] {
|
|
--md-typeset-a-color: rgb(0, 189, 164) !important;
|
|
}
|
|
[data-md-color-scheme="slate"] {
|
|
--md-typeset-a-color: rgb(0, 189, 164) !important;
|
|
}
|
|
|
|
/* Highlight functions, classes etc. type signatures. Really helps to make clear where
|
|
one item ends and another begins. */
|
|
|
|
[data-md-color-scheme="default"] {
|
|
--doc-heading-color: #DDD;
|
|
--doc-heading-border-color: #CCC;
|
|
--doc-heading-color-alt: #F0F0F0;
|
|
}
|
|
[data-md-color-scheme="slate"] {
|
|
--doc-heading-color: rgb(25,25,33);
|
|
--doc-heading-border-color: rgb(25,25,33);
|
|
--doc-heading-color-alt: rgb(33,33,44);
|
|
--md-code-bg-color: rgb(38,38,50);
|
|
}
|
|
|
|
h4.doc-heading {
|
|
/* NOT var(--md-code-bg-color) as that's not visually distinct from other code blocks.*/
|
|
background-color: var(--doc-heading-color);
|
|
border: solid var(--doc-heading-border-color);
|
|
border-width: 1.5pt;
|
|
border-radius: 2pt;
|
|
padding: 0pt 5pt 2pt 5pt;
|
|
}
|
|
h5.doc-heading, h6.heading {
|
|
background-color: var(--doc-heading-color-alt);
|
|
border-radius: 2pt;
|
|
padding: 0pt 5pt 2pt 5pt;
|
|
}
|
|
|
|
/* Make errors in notebooks have scrolling */
|
|
.output_error > pre {
|
|
overflow: auto;
|
|
}
|