:root { --link-tab-bg-color: #303030; --link-tab-bg-hover-color: #004080; } /* Custom scrollbar style */ ::-webkit-scrollbar { width: 10px; } ::-webkit-scrollbar-track { background: #d8d8d8; } ::-webkit-scrollbar-thumb { background: #888; } ::-webkit-scrollbar-thumb:hover { background: #555; } /* Global */ body { min-height: calc(100vh - 16px); } body, td, th { font: 18px 'Open Sans', sans-serif; line-height: 1.5em; } h1 { font-size: 1.7em; line-height: 1.2em; margin-block-end: 0.5em; } h1 ~ h1 { margin-top: 0; } h2 { font-size: 1.35em; padding-bottom: 0.25em; border-bottom: 2px solid black; } h3 { text-decoration: underline; } img { max-width: 100%; box-sizing: border-box; image-rendering: crisp-edges; } img:hover { image-rendering: pixelated; } img, hr { border: 1px solid black; } a { text-decoration: none; color: var(--link-tab-bg-hover-color); } article { max-width: 52.7em; /* Equivalent to 50em on 19px font-size */ min-height: calc(100vh - 228px); overflow: auto; } ul, ol { padding-inline-start: 30px; } table code { white-space: normal; } /* Show link icon next to headings */ h2, h3, h4, h5, h6 { display: inline-block; margin-block-start: 0.4em; margin-block-end: 0.5em; /* Account for it being an inline block, as opposed to a normal block */ line-height: 1.25em; } h2 + p, h3 + p, h4 + p, h5 + p, h6 + p { display: inline; } h1 + p a, h2 + p a, h3 + p a, h4 + p a, h5 + p a, h6 + p a { border: none !important; } /* This selects the link images, next to headings */ h2 + p img, h3 + p img, h4 + p img, h5 + p img, h6 + p img { height: 1.3em; border: none; vertical-align: text-top; /* Since link images are made for dark mode, and have white-ish foreground, * this filter makes them black (when in light mode) */ filter: invert(1) brightness(0); } /* Main elements: article, header, footer */ .centered, article { margin-left: auto; margin-right: auto; } .header, .footer { text-align: center; font-family: Arial; line-height: 49px; } .header { font-size: 23px; border-bottom: 5px solid var(--link-tab-bg-color); padding-bottom: 3px; } .footer { border-top: 5px solid var(--link-tab-bg-color); padding-top: 3px; overflow-x: hidden; } /* Header and footer rectangles (tabs) */ .link-tab, code { white-space: nowrap; } .link-tab { font-weight: normal; padding: 10px; color: white; background-color: var(--link-tab-bg-color); } .link-tab:hover { background-color: var(--link-tab-bg-hover-color); } /* Index page styling */ #index-contents-img { border: none; } @media screen and (min-width: 610px) { #index-page { margin-bottom: 10px; } #index-contents { display: flex; align-items: center; justify-content: center; } #index-contents-text { margin-left: 15px; } #index-contents-img, #index-contents-text { max-width: 49%; } } /* The following CSS is a modified version of sindresorhus's github-markdown-css repo: https://github.com/sindresorhus/github-markdown-css */ code, pre { font-family: monospace; font-size: 1em; } code { padding: .2em .4em; margin: 0; font-size: 85%; background-color: rgba(40,46,52,.5); border-radius: 3px; } pre > code { padding: 0; margin: 0; font-size: 100%; word-break: normal; white-space: pre; background: transparent; border: 0; } pre code { display: inline; max-width: auto; padding: 0; margin: 0; overflow: visible; line-height: inherit; word-wrap: normal; background-color: initial; border: 0; } pre { padding: 16px; overflow: auto; font-size: 85%; line-height: 1.45; background-color: #f6f8fa; border-radius: 3px; margin: 0; word-break: normal; word-wrap: normal; } article > table { line-height: 25px; border-spacing: 0; border-collapse: collapse; margin-top: 10px; margin-bottom: 10px; width: 100%; overflow: auto; } article > table td:first-child { width: 60%; } article > table td:nth-child(2) { line-height: 1.1em; padding: 0.3em; padding-top: 0.2em; } article > table code { font-size: 0.7em; } article > table th { font-weight: 600; } article > table td, article > table th { padding: 6px 13px; border: 1px solid #dfe2e5; } article > table tr { background-color: #fff; border-top: 1px solid #c6cbd1; } article > table tr:nth-child(2n) { background-color: #f6f8fa; } blockquote { margin: 0; margin-top: 0; margin-bottom: 16px; padding: 0 1em; color: #6a737d; border-left: .25em solid #dfe2e5; } blockquote > :first-child { margin-top: 0; } blockquote > :last-child { margin-bottom: 0; } /* Contact flex */ #contact-flex { display: flex; flex-wrap: wrap; overflow: hidden; } #contact-flex > div { flex: 1; } .contact-card-title, .contact-card-content { background-color: #343434; padding: 0.7rem; line-height: 1.5rem; } .contact-card-title *, .contact-card-content * { background-color: inherit; border: none; } .contact-card-title { font-size: 1.2em; margin: 0em 0.4em; color: var(--bold-color); } .contact-card-content { font-size: 0.9em; margin: 1em 1.3em; box-sizing: border-box; } /* Syntax highlighting (colours are inspired from gruvbox) */ code span { background-color: inherit; } .cst, .chr { /* Constant, Chars */ color: #d787af; } .com { /* Comment */ color: #8a8a8a; } .kwd { /* Keyword */ color: #d75f5f; } .kwD { /* Second keyword color */ color: #87af87; } .kWD { /* Third keyword color */ color: #ff8700; } .typ { /* Type */ color: #ffaf00; } .cls { /* Class */ color: #87afaf; } .fnc, .str { /* Function names, Strings */ color: #afaf00; } /* OpenSans font */ @font-face { font-family: 'Open Sans'; src: url(/fonts/open-sans/OpenSans-Regular.ttf); font-weight: normal; } @font-face { font-family: 'Open Sans'; src: url(/fonts/open-sans/OpenSans-Bold.ttf); font-weight: bold; } @font-face { font-family: 'Open Sans'; src: url(/fonts/open-sans/OpenSans-ExtraBold.ttf); font-weight: 800; } @font-face { font-family: 'Open Sans'; src: url(/fonts/open-sans/OpenSans-Italic.ttf); font-weight: normal; font-style: italic; } @font-face { font-family: 'Open Sans'; src: url(/fonts/open-sans/OpenSans-BoldItalic.ttf); font-weight: bold; font-style: italic; } @font-face { font-family: 'Open Sans'; src: url(/fonts/open-sans/OpenSans-ExtraBoldItalic.ttf); font-weight: 800; font-style: italic; } @font-face { font-family: 'Open Sans'; src: url(/fonts/open-sans/OpenSans-Semibold.ttf); font-weight: 600; } @font-face { font-family: 'Open Sans'; src: url(/fonts/open-sans/OpenSans-SemiboldItalic.ttf); font-weight: 600; font-style: italic; }