@font-face { font-family: "DejaVuSans"; src: url(/DejaVuSans.woff2) format("woff2"); } /* Main layout of the page */ html { height: 100%; background-color: hsl(240, 30%, 50%); font-family: "DejaVuSans"; } body { margin: auto; max-width: 25cm; min-height: 100%; display: flex; flex-direction: column; } body, header { background-color: hsl(240, 30%, 80%); } header { text-align: center; } header > * { margin: 0.5rem auto; } nav { background-color: hsl(240, 30%, 20%); } nav > ul { display: flex; padding: 0; margin: 0 auto; } nav li { display: block; list-style: none; } nav li:hover { background-color: hsl(240, 30%, 30%); } nav > ul > li:last-child { margin-left: auto; } nav a { text-decoration: none; color: #dddddd; display: block; line-height: 2em; height: 2em; padding: 0 1em; } main { padding: 2em; flex-grow: 1; } footer { padding: 1em 2em; } /* Other elements */ h1, h2, h3, h4, h5, h6 { text-align: center; } hr { margin: 0; margin-top: auto; } figure { text-align: center; } figure img { /* max-width: 30em; */ max-width: 100%; object-fit: contain; display: block; margin-left: auto; margin-right: auto; } figcaption { margin-top: 1em; } .equation-container { display: block; padding: 1em 2em; overflow: auto; } .equation-container img { object-fit: contain; display: block; margin: auto; } pre, figure, .equation-container { margin: 1rem; padding: 1rem; box-sizing: border-box; background-color: hsl(240, 30%, 90%); border: 1px solid hsl(240, 60%, 50%); overflow: scroll; } /* Inline math */ p > .org-svg { max-height: 1rem; display: inline-block; } .article-date { margin-left: auto; } .link-like, a { color: #111111; text-decoration: underline; } /* Source code */ .src-common-lisp .org-keyword { color: #3a81c3; font-weight: bold; } .src-common-lisp .org-builtin { color: #3a81c3; } .src-common-lisp .org-function-name { color: #6c3163; font-weight: bold; } .src-common-lisp .org-doc { color: #da8b55; } .src-common-lisp .org-comment { color: #2aa1ae; } /* NOTE: orgmode uses `code` only for inline code */ code { background-color: hsl(240, 40%, 90%); }