You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

166 lines
2.4 KiB

2 years ago
/* Increase the default font size */
html {
font-size: 15pt;
}
/* .toc { */
/* overflow: scroll; */
/* } */
/* @media (min-width: 1024px) { */
/* .lg\:sticky { */
/* position: sticky; */
/* bottom: 0; */
/* } */
/* .lg\:top-10 { */
/* top: 0; */
/* } */
/* } */
/* .sticky { */
/* top: 0; */
/* } */
/**/
/* .toc ul, */
/* .toc li { */
/* line-height: 0.3; */
/* } */
/**/
/* .toc a { */
/* font-size: 10pt; */
/* } */
/**/
/* .toc a:hover { */
/* font-size: 16pt; */
/* } */
/* // Based on Monokai (pygments-high-contrast-stylesheets) */
/* // Source: https://github.com/mpchadwick/pygments-high-contrast-stylesheets/blob/gh-pages/monokai.css */
.chroma,
pre,
p code,
li code {
color: #f8f8f2 !important;
background: #272822 !important;
}
.chroma .err {
color: #eb0083 !important;
background-color: #1e0010 !important;
}
.chroma .lntd {
vertical-align: top !important;
padding: 0 !important;
margin: 0 !important;
border: 0 !important;
}
.chroma .lntable {
border-spacing: 0 !important;
/* //padding: 0; */
margin: 0 !important;
border: 0 !important;
width: auto !important;
/* //overflow: auto; */
display: block !important;
}
.chroma .hl {
display: block !important;
width: 100% !important;
background-color: rgba(0,0,0,.3) !important;
}
.chroma .ge {
font-style: italic !important;
}
.chroma .gs {
font-weight: bold !important;
}
.chroma .lnt,
.chroma .ln {
margin-right: 0.5rem !important;
padding: 0 0.5rem 0 1.5rem !important;
color: #8e8e8e !important;
}
.chroma .k,
.chroma .kc,
.chroma .kd,
.chroma .kp,
.chroma .kr,
.chroma .kt,
.chroma .no {
color: #66d9ef !important;
}
.chroma .kn,
.chroma .nt,
.chroma .o,
.chroma .ow,
.chroma .gd {
color: #f94e8a !important;
}
.chroma .na,
.chroma .nc,
.chroma .nd,
.chroma .ne,
.chroma .nf,
.chroma .nx,
.chroma .gi {
color: #a6e22e !important;
}
.chroma .l,
.chroma .se,
.chroma .m,
.chroma .mb,
.chroma .mf,
.chroma .mh,
.chroma .mi,
.chroma .il,
.chroma .mo {
color: #ae81ff !important;
}
.chroma .ld,
.chroma .s,
.chroma .sa,
.chroma .sb,
.chroma .sc,
.chroma .dl,
.chroma .sd,
.chroma .s2,
.chroma .sh,
.chroma .si,
.chroma .sx,
.chroma .sr,
.chroma .s1,
.chroma .ss {
color: #e6db74 !important;
}
/* .chroma .n, */
.chroma .c,
.chroma .ch,
.chroma .cm,
.chroma .c1,
.chroma .cs,
.chroma .cp,
.chroma .cpf,
.chroma .gu {
color: #949076 !important;
}
.chroma .n {
color: white !important;
}