diff --git a/css/default.css b/css/default.css
index 7b91874..52776cb 100644
--- a/css/default.css
+++ b/css/default.css
@@ -97,6 +97,7 @@ pre {                   /* Block code */
     font-variant-numeric: normal;  /* No oldstyle figures in code */
     white-space: pre;
     overflow-x: auto;
+    overflow-y: hidden;
 }
 
 code {                  /* Inline code */
diff --git a/docs/css/default.css b/docs/css/default.css
index 874daaf..a405825 100644
--- a/docs/css/default.css
+++ b/docs/css/default.css
@@ -1 +1 @@
-html{box-sizing:border-box}*,*::before,*::after{box-sizing:inherit}html{scroll-behavior:smooth}body{color:var(--fg);font-size:22px;font-family:var(--proportional-fonts);font-variant-numeric:oldstyle-nums;line-height:1.4;text-align:justify;text-justify:inter-word;hyphens:auto;text-rendering:optimizeLegibility}span.small-caps{font-variant:small-caps}div#content{margin-right:1em;max-width:720px;max-width:35em}@media (min-width:1367px){body{width:82%;padding-right:18%;margin-left:auto;margin-right:auto}}@media (max-width:1366px){body{width:87%;padding-right:13%;max-width:960px;margin-right:3em;font-size:19px}}@media (max-width:960px){body{width:100%;padding-right:0%;margin-right:0}}div.csl-left-margin{display:inline}div.csl-right-inline{display:inline}div#refs td{vertical-align:top}div#border-table table tr{vertical-align:top;border-top:1px dotted black}.pure-g [class *="pure-u"],.pure-g-r [class *="pure-u"]{font-family:var(--proportional-fonts);text-rendering:optimizeLegibility}pre{text-align:left;font-size:0.85em;font-family:var(--monospace-fonts);font-variant-numeric:normal;white-space:pre;overflow-x:auto}code{font-size:0.87em;font-family:var(--monospace-fonts);font-variant-numeric:normal;background:var(--bg-inline-code);border-radius:0.25rem;padding:0 2px;border:1px solid var(--border-inline-code);word-break:break-word}blockquote{font-size:0.95em;line-height:1.3}span.mjpage{font-size:0.85em}span.mjpage__block{font-size:0.9em}div#footer{border-top:solid 1px var(--fg-footer-divider);color:var(--fg-footer-pipe);font-size:0.78em;margin-top:30px;padding:9px 1em 12px 1em;text-align:right;max-width:50rem}hr{display:block;height:1px;border:0;border-top:1px solid var(--fg-footer-divider);margin:1em 0;padding:0}.header{font-size:0.95em;font-style:italic;text-align:left}h1{font-size:1.5em;font-variant:small-caps;font-variant-numeric:normal;word-spacing:0.1em;letter-spacing:0.02em;text-align:center}h2{font-size:1.25em}h3{font-size:1.15em}h4{font-size:1.1em}h5{font-size:1.05em;line-height:1}h2,h3,h4{line-height:1.2}h2,h3,h4,h5,h6{text-align:left}h1,h2,h3,h4,h5,h6{font-family:var(--serif-fonts)}:is(h1,h2,h3,h4,h5,h6)[id]{margin-left:-20px}div#navigation{text-align:right;padding-left:1.25em;padding-right:3em;padding-top:1.25em;padding-bottom:1em;position:static;float:right;display:inline-block}div#navigation a{font-size:19px;font-weight:bold;text-decoration:none;text-transform:none}div#navigation .menu-title{font-size:19px}div#navigation span.menu-subtitle{font-size:19px;font-weight:normal;font-style:italic}@media (max-width:1366px){div#navigation{float:none;padding-right:1em}}@media (max-width:767px){div#navigation{position:static;text-align:center;display:block}div#navigation>.pure-menu.pure-menu-open>ul>li{display:inline-block;zoom:1;*display:inline}div#content{margin-left:1em}}div#contents,div#contents-big{font-size:90%;font-family:var(--serif-fonts);padding-top:0.25em;max-width:240px;max-width:15rem;max-width:30%;min-width:25%;min-width:180px;text-align:left}div#contents ul,div#contents-big ul{font-size:85%;margin-top:0.5em;margin-bottom:0.5em;padding-left:1em;line-height:1.2}div#contents li+li,div#contents-big li+li{margin-top:0.25em}.mini-header{font-weight:bold}div#contents-big a:link,div#contents a:link{font-size:110%;color:var(--fg);text-decoration:none}div#contents-big a:visited,div#contents a:visited{font-size:110%;color:var(--fg);text-decoration:none}div#contents-big a:hover,div#contents a:hover{color:var(--fg-link-hover)}div#contents-big>ul>li>a:link,div#contents>ul>li>a:link{font-size:100%;word-spacing:0.06em;letter-spacing:0.02em;font-variant:small-caps}div#contents-big>ul>li>a:visited,div#contents>ul>li>a:visited{font-size:100%;word-spacing:0.06em;letter-spacing:0.02em;font-variant:small-caps}a:link>code,a:visited>code{font-variant:normal}a#up-arrow{float:right;font-size:0.9em;margin-right:0.5em}div#contents-big{clear:both;margin-right:1.7em;margin-left:0.25em;position:sticky;top:0;left:100%}@media (max-width:1366px){div#contents-big{padding-left:1.25em}}div#contents{padding-bottom:0.25em;padding-left:0.5em;padding-right:0.5em;margin-left:0.75em;margin-bottom:0.75em;float:right;position:static}@media (min-width:769px){div#contents{position:fixed;visibility:hidden}}@media (max-width:768px){div#contents-big{position:fixed;visibility:hidden}}a:link{color:var(--fg-link);text-decoration:none}a:hover{color:var(--fg-link-hover);text-decoration:1px underline;text-underline-offset:0.1em}a:visited{color:var(--fg-link);text-decoration:none}.floatright{float:right;font-variant:normal;font-size:15px}a#to-top{font-variant:small-caps;float:left;position:static;font-size:16px;margin-top:-2px}@media (min-width:769px){a#to-top{position:fixed;visibility:hidden}}.local-link::after{content:"°";margin-left:1px}.floatleft{float:left;margin-left:-20px;padding-left:20px;padding-right:6px;font-variant:normal;font-size:0.8em;line-height:1.5}:is(h1,h2,h3,h4,h5,h6) .sec-link{text-decoration:none;color:var(--fg-sec-link);visibility:hidden}:is(h1,h2,h3,h4,h5,h6):hover .sec-link{visibility:visible}summary{padding-top:1rem;display:block;padding-left:2.2rem;position:relative;cursor:pointer}summary:before{content:'';border-width:.4rem;border-style:solid;border-color:transparent transparent transparent var(--fg);position:absolute;top:1.5rem;left:1rem;transform:rotate(0);transform-origin:.2rem 50%;transition:.25s transform ease}details[open]>summary:before{transform:rotate(90deg)}span.email b{display:none}
\ No newline at end of file
+html{box-sizing:border-box}*,*::before,*::after{box-sizing:inherit}html{scroll-behavior:smooth}body{color:var(--fg);font-size:22px;font-family:var(--proportional-fonts);font-variant-numeric:oldstyle-nums;line-height:1.4;text-align:justify;text-justify:inter-word;hyphens:auto;text-rendering:optimizeLegibility}span.small-caps{font-variant:small-caps}div#content{margin-right:1em;max-width:720px;max-width:35em}@media (min-width:1367px){body{width:82%;padding-right:18%;margin-left:auto;margin-right:auto}}@media (max-width:1366px){body{width:87%;padding-right:13%;max-width:960px;margin-right:3em;font-size:19px}}@media (max-width:960px){body{width:100%;padding-right:0%;margin-right:0}}div.csl-left-margin{display:inline}div.csl-right-inline{display:inline}div#refs td{vertical-align:top}div#border-table table tr{vertical-align:top;border-top:1px dotted black}.pure-g [class *="pure-u"],.pure-g-r [class *="pure-u"]{font-family:var(--proportional-fonts);text-rendering:optimizeLegibility}pre{text-align:left;font-size:0.85em;font-family:var(--monospace-fonts);font-variant-numeric:normal;white-space:pre;overflow-x:auto;overflow-y:hidden}code{font-size:0.87em;font-family:var(--monospace-fonts);font-variant-numeric:normal;background:var(--bg-inline-code);border-radius:0.25rem;padding:0 2px;border:1px solid var(--border-inline-code);word-break:break-word}blockquote{font-size:0.95em;line-height:1.3}span.mjpage{font-size:0.85em}span.mjpage__block{font-size:0.9em}div#footer{border-top:solid 1px var(--fg-footer-divider);color:var(--fg-footer-pipe);font-size:0.78em;margin-top:30px;padding:9px 1em 12px 1em;text-align:right;max-width:50rem}hr{display:block;height:1px;border:0;border-top:1px solid var(--fg-footer-divider);margin:1em 0;padding:0}.header{font-size:0.95em;font-style:italic;text-align:left}h1{font-size:1.5em;font-variant:small-caps;font-variant-numeric:normal;word-spacing:0.1em;letter-spacing:0.02em;text-align:center}h2{font-size:1.25em}h3{font-size:1.15em}h4{font-size:1.1em}h5{font-size:1.05em;line-height:1}h2,h3,h4{line-height:1.2}h2,h3,h4,h5,h6{text-align:left}h1,h2,h3,h4,h5,h6{font-family:var(--serif-fonts)}:is(h1,h2,h3,h4,h5,h6)[id]{margin-left:-20px}div#navigation{text-align:right;padding-left:1.25em;padding-right:3em;padding-top:1.25em;padding-bottom:1em;position:static;float:right;display:inline-block}div#navigation a{font-size:19px;font-weight:bold;text-decoration:none;text-transform:none}div#navigation .menu-title{font-size:19px}div#navigation span.menu-subtitle{font-size:19px;font-weight:normal;font-style:italic}@media (max-width:1366px){div#navigation{float:none;padding-right:1em}}@media (max-width:767px){div#navigation{position:static;text-align:center;display:block}div#navigation>.pure-menu.pure-menu-open>ul>li{display:inline-block;zoom:1;*display:inline}div#content{margin-left:1em}}div#contents,div#contents-big{font-size:90%;font-family:var(--serif-fonts);padding-top:0.25em;max-width:240px;max-width:15rem;max-width:30%;min-width:25%;min-width:180px;text-align:left}div#contents ul,div#contents-big ul{font-size:85%;margin-top:0.5em;margin-bottom:0.5em;padding-left:1em;line-height:1.2}div#contents li+li,div#contents-big li+li{margin-top:0.25em}.mini-header{font-weight:bold}div#contents-big a:link,div#contents a:link{font-size:110%;color:var(--fg);text-decoration:none}div#contents-big a:visited,div#contents a:visited{font-size:110%;color:var(--fg);text-decoration:none}div#contents-big a:hover,div#contents a:hover{color:var(--fg-link-hover)}div#contents-big>ul>li>a:link,div#contents>ul>li>a:link{font-size:100%;word-spacing:0.06em;letter-spacing:0.02em;font-variant:small-caps}div#contents-big>ul>li>a:visited,div#contents>ul>li>a:visited{font-size:100%;word-spacing:0.06em;letter-spacing:0.02em;font-variant:small-caps}a:link>code,a:visited>code{font-variant:normal}a#up-arrow{float:right;font-size:0.9em;margin-right:0.5em}div#contents-big{clear:both;margin-right:1.7em;margin-left:0.25em;position:sticky;top:0;left:100%}@media (max-width:1366px){div#contents-big{padding-left:1.25em}}div#contents{padding-bottom:0.25em;padding-left:0.5em;padding-right:0.5em;margin-left:0.75em;margin-bottom:0.75em;float:right;position:static}@media (min-width:769px){div#contents{position:fixed;visibility:hidden}}@media (max-width:768px){div#contents-big{position:fixed;visibility:hidden}}a:link{color:var(--fg-link);text-decoration:none}a:hover{color:var(--fg-link-hover);text-decoration:1px underline;text-underline-offset:0.1em}a:visited{color:var(--fg-link);text-decoration:none}.floatright{float:right;font-variant:normal;font-size:15px}a#to-top{font-variant:small-caps;float:left;position:static;font-size:16px;margin-top:-2px}@media (min-width:769px){a#to-top{position:fixed;visibility:hidden}}.local-link::after{content:"°";margin-left:1px}.floatleft{float:left;margin-left:-20px;padding-left:20px;padding-right:6px;font-variant:normal;font-size:0.8em;line-height:1.5}:is(h1,h2,h3,h4,h5,h6) .sec-link{text-decoration:none;color:var(--fg-sec-link);visibility:hidden}:is(h1,h2,h3,h4,h5,h6):hover .sec-link{visibility:visible}summary{padding-top:1rem;display:block;padding-left:2.2rem;position:relative;cursor:pointer}summary:before{content:'';border-width:.4rem;border-style:solid;border-color:transparent transparent transparent var(--fg);position:absolute;top:1.5rem;left:1rem;transform:rotate(0);transform-origin:.2rem 50%;transition:.25s transform ease}details[open]>summary:before{transform:rotate(90deg)}span.email b{display:none}
\ No newline at end of file