deploy: a411938b73947026f9747634ab6fa9025a061b6d

This commit is contained in:
jserv 2021-08-05 12:52:46 +00:00
parent e4c5abacf1
commit 3d505d91c5

View File

@ -169,8 +169,11 @@ p + figcaption, img + figcaption{margin-top: 1em;}
div.verbatiminput {font-family: monospace,monospace; white-space: nowrap; }
pre.fancyvrb {white-space: pre-wrap; margin:0em;font-family:monospace,monospace;}
.framedenv{border: 1px solid black;}
* :not(img) { max-width: 100%; width: 50vw; height: auto; margin: 0 auto; }
* { font-size: 1vw; }
html { width: 100vw; overflow-x: hidden; }
body { max-width: 50rem; box-sizing: border-box; padding: 1rem; margin: 0 auto; overflow-x: hidden; }
div.author { white-space: normal; }
img.math { height: 1rem; vertical-align: top; }
figure, .fancyvrb, .verbatim { margin-inline: 0; overflow-x: auto; }
.ecrm-0500 { font-size: 70%; font-style: italic; color: gray; -webkit-user-select: none; -moz-user-select: none; -o-user-select: none; user-select: none; }
.ecrm-0500:after { content:" "; white-space: pre; -webkit-user-select: none; -moz-user-select: none; -o-user-select: none; user-select: none; }
pre#fancyvrb1{padding:5.69054pt;}