More doc style updates

This commit is contained in:
Griatch 2021-11-10 09:08:31 +01:00
parent 508ecdb3f7
commit 0f3f6244cb
3 changed files with 23 additions and 22 deletions

View file

@ -697,9 +697,9 @@ div.code-block-caption + div > div.highlight > pre {
}
div.highlight > pre {
font-family: "Ubuntu Mono", monospace;
font-family: "Courier Prime", monospace;
line-height: 1.4em;
font-size: small;
font-size: smaller;
}
div.doctest > div.highlight span.gp { /* gp: Generic.Prompt */
@ -753,6 +753,7 @@ h1 code, h2 code, h3 code, h4 code, h5 code, h6 code {
div.viewcode-block:target {
margin: -1px -10px;
padding: 0 10px;
font-family: "Courier Prime", monospace;
}
/* -- math display ---------------------------------------------------------- */

View file

@ -12,7 +12,7 @@
@import url("basic.css");
@import url(https://fonts.googleapis.com/css?family=Arvo:400,700,400italic);
@import url(https://fonts.googleapis.com/css?family=Open%20Sans:400,700,400italic);
@import url('https://fonts.googleapis.com/css2?family=Ubuntu+Mono:ital,wght@0,400;0,700;1,400;1,700&display=swap');
@import url('https://fonts.googleapis.com/css2?family=Courier+Prime:ital,wght@0,400;0,700;1,400;1,700&family=Ubuntu+Mono:ital,wght@0,400;0,700;1,400;1,700&display=swap');
/* -- page layout ----------------------------------------------------------- */
@ -221,7 +221,7 @@ div.admonition p.admonition-title + p {
display: inline;
}
p.admonition-title {
p.admonition-title {
margin-right: 0.2em;
}
@ -254,7 +254,7 @@ div.warning {
padding-left: 5.2em;
}
div.important {
div.important {
text-indent: -5.5em;
padding-left: 6.1em;
}
@ -314,12 +314,12 @@ code {
color: #6e0e0e;
/* padding: 1px 2px; */
font-size: 0.8em;
font-family: Monaco, "Bitstream Vera Sans Mono", "Lucida Console", Terminal, monospace;
font-family: "Courier Prime", Monaco, "Bitstream Vera Sans Mono", "Lucida Console", Terminal, monospace;
font-weight: bold;
}
.viewcode-back {
font-family: Monaco, "Bitstream Vera Sans Mono", "Lucida Console", Terminal, monospace;
font-family: "Courier Prime", Monaco, "Bitstream Vera Sans Mono", "Lucida Console", Terminal, monospace;
}
div.viewcode-block:target {
@ -360,7 +360,7 @@ div.code-block-caption {
.class {
font-family: Monaco, "Bitstream Vera Sans Mono", "Lucida Console", Terminal, monospace;
font-family: "Courier Prime", Monaco, "Bitstream Vera Sans Mono", "Lucida Console", Terminal, monospace;
font-size: 0.9em;
background-color: #f5ffff;
padding: 5px;
@ -373,7 +373,7 @@ div.code-block-caption {
}
.sig-param {
font-family: Monaco, "Bitstream Vera Sans Mono", "Lucida Console", Terminal, monospace;
font-family: "Courier Prime", Monaco, "Bitstream Vera Sans Mono", "Lucida Console", Terminal, monospace;
}
.sig-paren {
@ -381,7 +381,7 @@ div.code-block-caption {
}
.property {
font-family: Monaco, "Bitstream Vera Sans Mono", "Lucida Console", Terminal, monospace;
font-family: "Courier Prime", Monaco, "Bitstream Vera Sans Mono", "Lucida Console", Terminal, monospace;
}
dl.class > dd > p {