:root { --main-background-color: #0d1117; --main-border-color: #555555; --link-color: #009dff; --primary-green: #099945; --secondary-green: #1a3a15; --tertiary-green: #0f200c; --primary-blue: #0a82b1; --secondary-blue: #05455f; --tertiary-blue: #05232f; --table-odd-color: rgba(255, 255, 255, 0.05); --table-even-color: rgba(255, 255, 255, 0.025); } @font-face { font-family: 'Cantarell'; src: url('/assets/fonts/Cantarell/Cantarell-Regular.otf') format('opentype'); font-weight: normal; font-style: normal; } @font-face { font-family: 'Cantarell'; src: url('/assets/fonts/Cantarell/Cantarell-Thin.otf') format('opentype'); font-weight: 100; font-style: normal; } @font-face { font-family: 'Cantarell'; src: url('/assets/fonts/Cantarell/Cantarell-Light.otf') format('opentype'); font-weight: 300; font-style: normal; } @font-face { font-family: 'Cantarell'; src: url('/assets/fonts/Cantarell/Cantarell-Bold.otf') format('opentype'); font-weight: bold; font-style: normal; } @font-face { font-family: 'Cantarell'; src: url('/assets/fonts/Cantarell/Cantarell-ExtraBold.otf') format('opentype'); font-weight: 800; font-style: normal; } @font-face { font-family: 'EB Garamond'; src: url('/assets/fonts/EB_Garamond/static/EBGaramond-Regular.ttf') format('truetype'); font-weight: normal; font-style: normal; } @font-face { font-family: 'EB Garamond'; src: url('/assets/fonts/EB_Garamond/static/EBGaramond-Bold.ttf') format('truetype'); font-weight: bold; font-style: normal; } @font-face { font-family: 'EB Garamond'; src: url('/assets/fonts/EB_Garamond/static/EBGaramond-ExtraBold.ttf') format('truetype'); font-weight: 800; font-style: normal; } @font-face { font-family: 'Hack'; src: url('/assets/fonts/Hack/hack-regular-subset.woff2?sha=3114f1256') format('woff2'), url('/assets/fonts/Hack/hack-regular-subset.woff?sha=3114f1256') format('woff'); font-weight: 400; font-style: normal; } @font-face { font-family: 'Hack'; src: url('/assets/fonts/Hack/hack-bold-subset.woff2?sha=3114f1256') format('woff2'), url('/assets/fonts/Hack/hack-bold-subset.woff?sha=3114f1256') format('woff'); font-weight: 700; font-style: normal; } @font-face { font-family: 'Hack'; src: url('/assets/fonts/Hack/hack-italic-subset.woff2?sha=3114f1256') format('woff2'), url('/assets/fonts/Hack/hack-italic-webfont.woff?sha=3114f1256') format('woff'); font-weight: 400; font-style: italic; } @font-face { font-family: 'Hack'; src: url('/assets/fonts/Hack/hack-bolditalic-subset.woff2?sha=3114f1256') format('woff2'), url('/assets/fonts/Hack/hack-bolditalic-subset.woff?sha=3114f1256') format('woff'); font-weight: 700; font-style: italic; } * { box-sizing: border-box; } article, aside, figcaption, figure, footer, header, hgroup, main, nav, section { display: block; } body { font-family: 'Cantarell', 'Trebuchet MS', 'Lucida Sans Unicode', 'Lucida Grande', 'Lucida Sans', 'Helvetica Neue', 'Helvetica', Arial, sans-serif; margin: 0 0 44px; font-size: 18px; font-weight: 400; line-height: 1.5; color: #ffffff; text-align: left; height: 100%; background-color: var(--main-background-color); background-size: cover; } [tabindex="-1"]:focus { outline: 0 !important; } hr { box-sizing: content-box; height: 0; overflow: visible; } h1, h2, h3, h4, h5, h6 { margin-top: 0; margin-bottom: 0.5rem; } h1, .h1 { font-size: 2.5rem; } h2, .h2 { font-size: 2rem; } h3, .h3 { font-size: 1.75rem; } h4, .h4 { font-size: 1.5rem; } h5, .h5 { font-size: 1.25rem; } h6, .h6 { font-size: 1rem; } p { margin-top: 0; margin-bottom: 1rem; } a { color: var(--link-color); text-decoration: underline; background-color: transparent; outline: none; } a:hover { text-decoration: underline; } a:focus { text-decoration: underline dotted; } section { margin: 0.5rem; } pre { width: 100%; max-width: 100%; overflow-x: auto; } code { overflow-x: auto; max-width: 100%; display: inline-block; background-color: rgba(255, 255, 255, 0.1); padding: 0.1rem 0.5rem; vertical-align: bottom; } pre, kbd, code { font-family: 'Hack', 'Source Code Pro', Consolas, monospace; font-size: 0.9rem; } table { display: flex; flex-direction: column; margin: 1rem 0; overflow: hidden; border-radius: 0.5rem; } table thead+tbody tr { border-radius: 0; } table thead { background: var(--secondary-green); z-index: -1; } table tbody, table tr:last-of-type { border-bottom-left-radius: 0.5rem; border-bottom-right-radius: 0.5rem; } table thead tr, table tbody tr { display: flex; } table tbody tr:nth-of-type(2n) { background-color: var(--table-even-color); } table tbody tr:nth-of-type(2n+1) { background-color: var(--table-odd-color); } table thead tr th, table tbody tr td { display: flex; flex: 1; padding: .25rem 0.75rem; } li { list-style-type: square; } .lambda-logo { width: 256px; height: 256px; position: fixed; bottom: 0; left: 0; z-index: -1; } .container { margin: 0 0.5rem; position: relative; } @media screen and (min-width: 1018px) { .container { max-width: 1018px; margin: 0 auto; position: relative; } } .block { display: block; padding: 0.5rem; max-width: 100%; margin: 1rem 0.25rem; border-radius: 1rem; } .button { padding: 0.2rem 1rem; margin: 0.3rem 0.3rem; color: #ffffff; background: var(--primary-green); display: inline-block; text-decoration: none; transition: 50ms ease-in-out all; border-radius: 0.5rem; box-shadow: none; } .button:hover { text-decoration: none; background: var(--secondary-green); box-shadow: 0 0 0 1px var(--secondary-green); } .button:focus { box-shadow: 0 0 0 2px #ffffff; } .button:active { text-decoration: none; box-shadow: 0 0 0 1px var(--tertiary-green); transform: scale(0.98); color: #cccccc; background: var(--tertiary-green); } .button.blue { background: var(--primary-blue); } .button.blue:hover { background: var(--secondary-blue); box-shadow: 0 0 0 1px var(--secondary-blue); } .button.blue:active { background: var(--tertiary-blue); box-shadow: none; } .text.center { text-align: center; } .none.display { display: none; } .button.link::after { content: ' \2192'; display: inline-block; transition: 50ms ease-in-out all; margin-left: 0.3rem; } .button.link:hover { display: inline-block; transition: 50ms ease-in-out all; } .button.link:hover::after { transform: translateX(0.25rem) scale(1.3); } .button.link.extern:hover::after { transform: rotateZ(-45deg) scale(1.5); } .button.link.back::before { content: ' \2190'; display: inline-block; transition: 100ms ease-in-out all; margin-right: 0.3rem; } .button.link:hover::before { transform: translateX(-0.2rem) scale(1.3); } .button.link.back::after { content: ''; display: none; } .sans.serif { font-family: 'Cantarell', 'Trebuchet MS', 'Lucida Sans Unicode', 'Lucida Grande', 'Lucida Sans', 'Helvetica Neue', 'Helvetica', Arial, sans-serif; } .serif { font-family: 'EB Garamond', 'Garamond', 'Times New Roman', Times, serif; } .monospace { font-family: 'Hack', 'Source Code Pro', Consolas, monospace; } .license { background-color: #222222; padding: 1rem; }