.lambda-wrap { position: relative; }
.big-lambda { position: absolute; right: 0rem; bottom: 0rem; font-size: 35rem; line-height: 0.8; opacity: 0.08; }
.quote { text-align: center; }
::selection { color: white; background-color: black; }
.hdr { display: flex; align-items: center; justify-content: space-between; padding: 0.5em 1em 0.5em 1em; font-family: sans-serif; background-color: #9bcea5; }
.hdr a { text-decoration: none; color: black; }
.hdr-left { display: flex; align-items: center; gap: 0.5em; }
.hdr-left img { height: 20px; vertical-align: middle; }
body { font-family: sans-serif; font-size: 1rem; background-color: white; width: 45em; margin: 3em auto 3em auto; }
body > p { text-align: justify; }
div > .sourceCode { padding: 1em 1em 1em; }
td { vertical-align: top; padding: 1em 1em 1em 1em; }
.footnotes ol { overflow-x: auto; }
.img-rsp { max-width: 100%; height: auto; display: block; margin-right: auto; margin-left: auto; }
table { width: max-content; overflow-x: auto; }
img { border: 0.1em solid black; }
pre { overflow: auto; font-family: monospace; line-height: 110%; background-color: #323232; color: white; border-radius: 4px; padding: 0.5em 0.5em 0.5em 0.5em; }
pre code { font-family: monospace; }
p code, li code { font-family: monospace; }
a:link { color: black; }
a:visited { color: black; }
a:hover { color: black; }
a:active { color: black; }