@import url("https://fonts.cdnfonts.com/css/latin-modern-math");
:root {
--rustex-text-width: 600;
--rustex-page-width: 750;
--rustex-scale-width: 1;
--rustex-curr-width: calc(
(var(--rustex-text-width) / var(--rustex-page-width)) *
min(100vw, calc(var(--rustex-page-width) * 1px))
);
--rustex-this-width: var(--rustex-curr-width);
}
.rustex-link {
color: inherit;
text-decoration: inherit;
}
.rustex-missing {
color: red;
z-index: 1000;
&:before {
content: "❓❓❓";
}
}
.rustex-contents {
display: contents;
}
.rustex-withwidth {
min-width: var(--rustex-curr-width);
max-width: var(--rustex-curr-width);
--rustex-curr-width: var(--rustex-this-width);
}
.rustex-scalewidth {
--rustex-this-width: calc(
var(--rustex-curr-width) * var(--rustex-scale-width)
);
min-width: var(--rustex-this-width);
max-width: var(--rustex-this-width);
}
.rustex-setwidth {
display: contents;
--rustex-curr-width: var(--rustex-this-width);
}
.rustex-body {
max-width: calc(var(--rustex-page-width) * 1px);
width: min(100vw, calc(var(--rustex-text-width) * 1px));
padding-left: calc(
(
(var(--rustex-page-width) - var(--rustex-text-width)) /
(2 * var(--rustex-page-width)) *
min(100vw, calc(var(--rustex-page-width) * 1px))
)
);
padding-right: calc(
(
(var(--rustex-page-width) - var(--rustex-text-width)) /
(2 * var(--rustex-page-width)) *
min(100vw, calc(var(--rustex-page-width) * 1px))
)
);
background-color: #f9fafb;
color: #000000;
display: flex;
flex-direction: column;
}
.rustex-page {
display: flex;
flex-direction: column;
border: 1px solid #232323;
width: 100%;
}
.rustex-reset-font,
.rustex-body {
font-style: normal;
font-weight: 400;
font-variant: normal;
}
.rustex-paragraph {
text-align: justify;
white-space: normal;
display: block;
}
.rustex-parindent {
display: inline-block;
}
.rustex-space-in-hbox {
display: inline-block;
line-height: 0;
&:before {
content: " ";
}
}
.rustex-box-vhc,
.rustex-box-hhc {
width: fit-content;
align-items: last baseline;
flex-direction: row;
}
.rustex-box-hh,
.rustex-box-vh {
flex-direction: row;
white-space: pre;
width: min-content;
height: min-content;
align-items: last baseline;
overflow: visible;
text-align: left;
vertical-align: baseline;
justify-content: start;
}
.rustex-box-hh,
.rustex-box-hhc {
display: inline-flex;
}
.rustex-box-vh,
.rustex-box-vhc {
display: flex;
}
.rustex-box-hv,
.rustex-box-vv,
.rustex-box-ht,
.rustex-box-vt {
flex-direction: column;
height: min-content;
white-space: collapse;
}
.rustex-vbox-to {
display: flex;
flex-direction: column;
> .rustex-paragraph {
margin-top: auto;
}
}
.rustex-box-after-v {
margin-top: auto;
height: 0;
display: block;
}
.rustex-box-hv,
.rustex-box-ht {
display: inline-flex;
width: fit-content;
}
.rustex-box-vv,
.rustex-box-vt {
display: flex;
width: 100%;
}
.rustex-box-hv,
.rustex-box-vv {
vertical-align: bottom;
}
.rustex-box-ht,
.rustex-box-vt {
vertical-align: top;
position: relative;
}
.rustex-vcenter {
display: block;
width: 100%;
height: min-content;
white-space: initial;
> div {
height: min-content;
width: min-content;
display: inline-flex;
flex-direction: column;
vertical-align: middle;
}
}
.rustex-vrule {
display: inline-block;
vertical-align: text-bottom;
min-width: var(--rustex-this-width);
max-width: var(--rustex-this-width);
}
.rustex-vrule-container {
display: inline-block;
white-space: initial;
min-width: var(--rustex-this-width);
max-width: var(--rustex-this-width);
> * {
display: inline-block;
width: 100%;
height: 100%;
}
}
.rustex-hrule {
display: block;
white-space: initial;
min-width: calc(var(--rustex-curr-width) * var(--rustex-scale-width));
max-width: calc(var(--rustex-curr-width) * var(--rustex-scale-width));
> * {
display: block;
width: 100%;
}
}
.rustex-hskip,
.rustex-hkern {
display: inline-block;
}
.rustex-vskip,
.rustex-vkern {
display: block;
}
.rustex-vss {
display: block;
margin-top: auto;
margin-bottom: auto;
}
.rustex-hss {
display: inline-block;
margin-left: auto;
margin-right: auto;
}
.rustex-hfil,
.rustex-hfill {
display: inline-block;
margin-left: auto;
margin-right: auto;
}
.rustex-vfil,
.rustex-vfill {
display: block;
margin-top: auto;
margin-bottom: auto;
}
.rustex-math {
line-height: inherit;
font-size: inherit;
font-family:
Latin Modern Math,
math;
mi {
text-transform: none;
}
}
.rustex-math-ord,
.rustex-math-open,
.rustex-math-close,
.rustex-math-cramped {
}
.rustex-math-op {
&:has(+ .rustex-math-ord) {
padding-right: 0.15em;
}
}
.rustex-math-ord,
.rustex-math-open,
.rustex-math-close {
+ .rustex-math-op {
padding-left: 0.15em;
}
+ .rustex-math-bin {
padding-left: 0.15em;
}
+ .rustex-math-rel {
padding-left: 0.2em;
}
}
.rustex-math-bin {
&:has(+ .rustex-math-ord) {
padding-right: 0.15em;
}
&:has(+ .rustex-math-rel) {
padding-right: 0.15em;
}
&:has(+ .rustex-math-op) {
padding-right: 0.15em;
}
&:has(+ .rustex-math-open) {
padding-right: 0.15em;
}
&:has(+ .rustex-math-close) {
padding-right: 0.15em;
}
&:has(+ .rustex-math-punct) {
padding-right: 0.15em;
}
+ .rustex-math-op {
padding-left: 0.15em;
}
+ .rustex-math-rel {
padding-left: 0.2em;
}
}
.rustex-math-rel {
&:has(+ .rustex-math-ord) {
padding-right: 0.2em;
}
&:has(+ .rustex-math-bin) {
padding-right: 0.2em;
}
&:has(+ .rustex-math-op) {
padding-right: 0.2em;
}
&:has(+ .rustex-math-open) {
padding-right: 0.2em;
}
&:has(+ .rustex-math-close) {
padding-right: 0.2em;
}
&:has(+ .rustex-math-punct) {
padding-right: 0.2em;
}
+ .rustex-math-op {
padding-left: 0.15em;
}
+ .rustex-math-bin {
padding-left: 0.15em;
}
}
.rustex-math-punct {
&:has(+ .rustex-math-ord) {
padding-right: 0.15em;
}
&:has(+ .rustex-math-rel) {
padding-right: 0.15em;
}
&:has(+ .rustex-math-op) {
padding-right: 0.15em;
}
&:has(+ .rustex-math-open) {
padding-right: 0.15em;
}
&:has(+ .rustex-math-close) {
padding-right: 0.15em;
}
&:has(+ .rustex-math-bin) {
padding-right: 0.15em;
}
+ .rustex-math-op {
padding-left: 0.15em;
}
+ .rustex-math-bin {
padding-left: 0.15em;
}
+ .rustex-math-rel {
padding-left: 0.2em;
}
}
* + .rustex-mkern {
padding-left: 0;
}
.rustex-mkern + * {
padding-right: 0;
}
.rustex-display {
text-align: center;
display: block;
align-self: center;
width: 100%;
min-width: 100%;
}
.rustex-math-escape {
display: inline-flex;
text-align: center;
justify-content: center;
letter-spacing: initial;
word-spacing: initial;
> * {
font-size: inherit;
writing-mode: initial;
}
}
.rustex-halign {
display: inline-grid;
border-collapse: collapse;
width: fit-content;
grid-auto-rows: auto;
align-content: baseline;
grid-template-columns: repeat(var(--rustex-align-num), 1fr);
> tbody {
display: contents;
> tr {
display: contents;
}
}
> tr {
display: contents;
}
}
.rustex-halign-cell {
display: inline-flex;
white-space: pre;
align-items: baseline;
padding: 0;
width: 100%;
height: 100%;
}
.rustex-noalign {
display: inline-flex;
flex-direction: column;
overflow: visible;
text-align: left;
width: 100%;
flex-wrap: nowrap;
justify-content: flex-start;
grid-column: span var(--rustex-align-num);
}
.rustex-raise {
display: inline-flex;
flex-direction: inherit;
white-space: initial;
bottom: var(--rustex-raise);
margin-top: var(--rustex-raise);
margin-bottom: calc(-1 * var(--rustex-raise));
position: relative;
}
.rustex-moveleft {
display: inline-flex;
flex-direction: inherit;
white-space: initial;
position: relative;
margin-left: calc(-1 * var(--rustex-moveleft));
}
.rustex-foreign {
display: flex;
white-space: initial;
overflow: visible;
> div {
display: flex;
white-space: initial;
width: 100%;
height: 100%;
text-align: center;
justify-content: center;
align-content: center;
flex-wrap: wrap;
line-height: 1;
> * {
text-align: initial;
}
}
}
.rustex-svg {
display: inline-block;
white-space: initial;
> svg {
overflow: visible;
}
}
.rustex-pdfmatrix {
transform-origin: bottom left;
display: inline-block;
}