new-codigoparallevar/static/style.css

709 lines
14 KiB
CSS
Raw Normal View History

2022-07-21 21:30:47 +00:00
/* Default theme */
2022-07-25 10:19:10 +00:00
html, body {
margin: 0;
2022-08-20 15:54:41 +00:00
padding: 0.5ex 1ex;
2022-09-26 21:44:07 +00:00
font-family: 'Atkinson Hyperlegible', 'Open Sans', 'Helvetica Neue', Helvetica, Arial, sans-serif;
font-size: 110%;
}
2022-09-29 21:49:10 +00:00
body {
max-width: 80ex;
margin: 0 auto;
}
2022-10-03 21:40:57 +00:00
body nav {
text-align: center;
}
body nav h1 {
text-align: center;
color: #000;
display: inline-block;
}
2022-10-16 22:10:06 +00:00
2022-11-01 11:19:20 +00:00
a:focus {
background-color: rgb(0, 0, 238);
color: white;
}
h1 a:focus,
h2 a:focus,
h3 a:focus,
h4 a:focus,
h5 a:focus,
h6 a:focus
{
background-color: inherit;
color: #2c3e50;
}
2022-10-16 22:10:06 +00:00
/* Search box */
2022-10-03 21:40:57 +00:00
body nav input {
background-color: transparent;
color: #000;
border: none;
border-bottom: 1px solid #888;
2022-10-03 21:40:57 +00:00
}
.results-box-container {
z-index: 5;
2022-10-16 22:10:06 +00:00
position: fixed;
2022-10-03 21:40:57 +00:00
width: 100vw;
height: 100vh;
background-color: rgba(0,0,0,0.3);
2022-10-16 22:10:06 +00:00
top: 0;
left: 0;
}
.results-box-container.hidden {
display: none;
}
.results-box {
min-width: 50vw;
max-width: 90vw;
min-height: 20ex;
max-height: 90vh;
overflow: auto;
border-radius: 4px;
margin: 2rem auto;
box-shadow: 0px 1px 2px 1px rgba(0, 0, 0, 0.25);
background-color: #fff;
}
.results-box-container .results-box input {
width: 90%;
margin: 0 auto;
padding-top: 2ex;
display: block;
background-color: transparent;
color: #000;
border: none;
border-bottom: 1px solid #888;
outline: none;
font-size: 100%;
}
.results-box-container .results-box input:focus {
border-bottom: 1px solid #000;
2022-10-16 22:10:06 +00:00
}
@keyframes loading-query {
from {
border-bottom-color: hsl(0 80% 40%);
}
30% {
border-bottom-color: hsl(80 80% 40%);
}
60% {
border-bottom-color: hsl(180 80% 40%);
}
to {
border-bottom-color: hsl(360 80% 40%);
}
}
.results-box-container .results-box.loading input {
animation-name: loading-query;
border-bottom-width: 2px;
animation-duration: 2s;
margin-bottom: -1px;
animation-iteration-count: infinite;
animation-timing-function: linear;
}
2022-10-16 22:10:06 +00:00
/* Search box results */
.results-box ul {
list-style: none;
padding: 0;
}
.results-box ul li {
padding: 0.25ex;
margin: 1ex;
border-radius: 4px;
box-shadow: 0px 1px 2px 0px rgba(0, 0, 0, 0.25);
2022-10-16 22:10:06 +00:00
}
.results-box ul li h2 {
font-size: 110%;
2022-10-16 22:10:06 +00:00
padding: 1.25ex;
display: block;
margin: 0;
2022-10-03 21:40:57 +00:00
}
.results-box li h2.is-todo::before {
content: 'TODO';
display: inline-block;
background-color: #D00;
padding: 0.25ex;
border-radius: 4px;
font-size: 90%;
margin-right: 0.5ex;
}
.no-results-box {
padding: 1rem;
}
.no-results-box.hidden {
display: none;
}
a.img {
display: block;
}
2023-01-05 19:52:26 +00:00
img {
max-width: 100%;
}
2022-09-26 21:44:07 +00:00
@font-face {
font-family: "Atkinson Hyperlegible";
src: url('./fonts/atkinson-hyperlegible/eot/Atkinson-Hyperlegible-Regular-102.eot');
src: url('./fonts/atkinson-hyperlegible/eot/Atkinson-Hyperlegible-Regular-102.eot') format('embedded-opentype'),
url('./fonts/atkinson-hyperlegible/woff2/Atkinson-Hyperlegible-Regular-102a.woff2') format('woff2'),
url('./fonts/atkinson-hyperlegible/woff/Atkinson-Hyperlegible-Regular-102.woff') format('woff'),
url('./fonts/atkinson-hyperlegible/ttf/Atkinson-Hyperlegible-Regular-102.ttf') format('truetype');
/* Make sure text is displayed ASAP, even if this font is not ready. */
font-display: swap;
2022-09-26 21:44:07 +00:00
}
2022-07-25 10:19:10 +00:00
2022-05-07 21:03:26 +00:00
/* Node styling */
2022-05-07 16:35:04 +00:00
.node {
2022-01-10 22:53:07 +00:00
margin: 0 auto;
2022-01-08 00:13:00 +00:00
}
2021-09-03 22:26:10 +00:00
.node .node {
2022-05-07 16:35:04 +00:00
padding: 1ex 0 1ex 1ex;
border-left: 1px dashed #2c3e50;
2022-01-08 00:14:37 +00:00
}
2022-05-07 18:38:12 +00:00
.node.collapsed > .contents {
display: none;
}
/* Item list */
.node .contents ul,
.global-table-of-contents ul {
--tree-spacing : 1rem;
--tree-radius : 0.75ex;
--tree-line-separation: 0.5rem;
--tree-color: #ccc;
--tree-border-radius: 5px;
list-style: none;
}
.node .contents ul li,
.global-table-of-contents ul li{
position: relative;
padding-left: calc(var(--tree-spacing) * 2);
}
.node .contents ul li::after,
.global-table-of-contents ul li::after {
content: '';
display: block;
position: absolute;
top: calc(var(--tree-spacing) / 2 - var(--tree-radius));
left: calc(var(--tree-spacing) - var(--tree-radius) - 1px);
width: calc(2 * var(--tree-radius));
height: calc(2 * var(--tree-radius));
border-radius: 50%;
background: var(--tree-color);
}
.node .contents ul li::before,
.global-table-of-contents ul li::before {
content: ' ';
width: var(--tree-spacing);
display: inline-block;
border-bottom: 2px dashed var(--tree-color);
vertical-align: super;
margin-right: calc(var(--tree-line-separation) + 0.5ex);
margin-left: calc(0px - (var(--tree-line-separation) * 4) - 2px);
}
/* Nested item list */
.node .contents ul ul,
.global-table-of-contents ul ul {
padding: 0;
margin-left: calc(var(--tree-spacing));
list-style: none;
}
.node .contents ul > li > ul,
.global-table-of-contents ul > li > ul {
margin-left: calc(0px - var(--tree-spacing));
}
.node .contents ul ul li,
.global-table-of-contents ul ul li {
margin-left: calc(0px - var(--tree-radius) / 2 + 2px);
border-left: 2px solid var(--tree-color);
}
.node .contents ul ul li::marker,
.global-table-of-contents ul ul li::marker {
content: '';
}
.node .contents ul ul li::after,
.global-table-of-contents ul ul li::after {
left: calc(var(--tree-spacing) * 2 - 0.5ex);
}
.node .contents ul ul li::before,
.global-table-of-contents ul ul li::before {
width: calc(var(--tree-spacing) * 2);
height: calc(var(--tree-spacing) + 5px);
margin-top: -100%;
border-radius: 0;
top: calc(-0.5ex - 2px);
border-left: 2px solid var(--tree-color);
border-bottom-style: solid;
}
.node .contents ul ul li:last-of-type::before,
.global-table-of-contents ul ul li:last-of-type::before {
border-bottom-left-radius: var(--tree-border-radius);
}
.node .contents ul li:last-of-type,
.global-table-of-contents ul li:last-of-type {
border-color: transparent;
}
.node .node > .title::before {
content: "#";
display: inline-block;
color: #888;
2022-05-07 18:38:12 +00:00
}
2022-10-18 21:29:12 +00:00
.node .title {
margin: 0;
}
2022-08-28 12:09:57 +00:00
/* Inhibit <p> tags inside inlined items */
2022-08-20 15:51:08 +00:00
/* TODO: Remove need for this on generator */
.item p {
display: inline;
}
2022-09-01 22:33:42 +00:00
h1 p,h2 p,h3 p,h4 p,h5 p,h6 p, li p {
2022-08-28 12:09:57 +00:00
display: inline;
}
2022-08-20 15:51:08 +00:00
2022-11-09 00:01:34 +00:00
.connections ul {
margin-top: 0;
}
2022-05-07 21:03:26 +00:00
/* Headers */
2022-08-23 19:30:26 +00:00
body > .node > h1 {
text-align: center;
}
.node .node h1 {
2022-01-10 22:53:07 +00:00
font-size: 150%;
}
2022-01-08 00:14:37 +00:00
h1,h2,h3,h4,h5,h6 {
margin-top: 0;
2022-05-07 16:35:04 +00:00
color: #2c3e50;
}
h1 > a, h2 > a, h3 > a, h4 > a, h5 > a, h6 > a {
text-decoration: none;
color: inherit;
2021-10-03 15:53:22 +00:00
}
h1.title .state {
font-size: 50%;
vertical-align: middle;
2022-01-08 00:13:00 +00:00
/* background-color: rgba(255,255,255,0.3); */
background-color: rgba(0,0,0,0.1);
padding: 4px;
border-radius: 5px;
2021-10-03 15:53:22 +00:00
}
2021-09-03 22:26:10 +00:00
h1.title .state.todo-True {
2022-08-23 19:30:46 +00:00
background-color: rgba(255,0,0,0.5);
}
h1.title .state.todo-False {
2022-09-01 22:31:16 +00:00
background-color: rgba(0,255,0,0.25);
}
h1.title .tags {
float: right;
}
h1.title .tags .tag {
font-size: 50%;
vertical-align: middle;
/* background-color: rgba(255,255,255,0.3); */
background-color: rgba(0,0,0,0.1);
padding: 4px;
margin-left: 2px;
border-radius: 5px;
}
2022-10-17 23:17:11 +00:00
h1.title .tags .tag:before {
content: '[';
}
h1.title .tags .tag:after {
content: ']';
}
2022-05-07 21:03:26 +00:00
/* Lists */
2021-09-03 22:26:10 +00:00
li .tag {
font-weight: bold;
}
li .tag::after {
content: " :: ";
2021-09-03 22:26:10 +00:00
}
2022-05-07 21:03:26 +00:00
a.internal::before {
content: '{ ';
}
a.internal::after {
content: ' }';
}
2023-04-26 21:31:01 +00:00
a.external::after {
content: ' ↗';
}
/* Markup */
.underlined {
text-decoration: underline;
}
2022-05-07 21:03:26 +00:00
/* Code blocks */
pre {
overflow: auto;
padding: 0.25ex;
2022-10-03 21:40:57 +00:00
box-shadow: 0px 1px 2px 1px rgba(0, 0, 0, 0.25);
border-radius: 2px;
2022-05-07 21:03:26 +00:00
}
pre > code {
display: block;
line-height: 1.2em;
overflow: auto;
}
2022-07-21 21:28:02 +00:00
pre code {
2022-05-07 21:03:26 +00:00
padding: 0.5ex;
font-size: medium;
background: #fff;
color: #000;
2022-07-24 21:56:29 +00:00
border: none;
font-size: 85%;
border-radius: 4px;
}
.highlight pre {
padding: 0.5ex;
2022-07-21 21:28:02 +00:00
}
code, .verbatim {
2022-07-24 21:56:29 +00:00
padding: 0.25ex 0.5ex;
2022-07-21 21:28:02 +00:00
margin: 0.25ex;
2022-07-24 21:56:29 +00:00
background: #eee;
color: #600;
font-family: Menlo, Monaco, "Courier New", monospace;
font-size: 85%;
2022-07-21 21:28:02 +00:00
}
2022-11-03 23:31:32 +00:00
/* Results */
.results.lang-text {
border-radius: 4px;
border: 1px solid rgba(255,255,255,0.5);
padding: 1ex;
max-height: 80vh;
overflow-y: auto;
}
2022-07-25 10:19:10 +00:00
.content {
margin: 1ex;
}
2022-07-21 21:28:02 +00:00
article.post {
max-width: min(650px, 100ex);
margin: 0 auto;
2022-05-07 21:03:26 +00:00
}
2022-07-25 10:19:10 +00:00
/* Header */
.site-header {
background-color: #F7F7FF;
border-bottom: rgba(0,0,0,0.1) 1px solid;
text-align: center;
padding: 1ex;
}
.site-header h1 {
margin-top: 0;
font-size: 200%;
2022-07-25 15:58:58 +00:00
font-family: monospace, sans;
color: #000;
2022-07-25 10:19:10 +00:00
}
.site-header .site-links .fancy-link {
border-right: 1px solid #000;
padding-left: 0.75ex;
}
.site-header .site-links .fancy-link:last-of-type {
2022-07-25 10:19:10 +00:00
border: none;
}
2022-07-25 15:58:58 +00:00
/* Post header */
.post-metadata ul.post-tags {
list-style: none;
display: inline;
padding: 0;
}
.post-metadata ul.post-tags li.post-tag::before {
content: '#';
}
.post-metadata ul.post-tags li {
display: inline;
}
2022-08-03 19:11:09 +00:00
/* Post index. */
.post-index .post-container {
/* box-shadow: 0px 2px 4px 2px rgba(0, 0, 0, 0.26); */
/* border-radius: 2px; */
/* padding: 1ex; */
margin-bottom: 1em;
padding-bottom: 1em;
border-bottom: #000 1px dashed;
.index-pages {
display: block;
margin: 0 auto;
width: fit-content;
}
.index-pages a {
padding: 1ex;
display: inline-block;
background-color: #024;
color: #fff;
border-radius: 4px;
}
.older-posts::after {
content: ' >';
}
.newer-posts::before {
content: '< ';
2022-08-03 19:11:09 +00:00
}
2022-09-27 22:04:06 +00:00
/* Tables. */
table, th, td, tr {
border: 1px solid black;
border-collapse: collapse;
}
td {
padding: 0.5ex;
}
tr.__table-separator {
border-bottom: 0.5ex solid black;
}
2022-07-21 21:30:47 +00:00
.connections svg {
max-width: 100%;
height: auto;
}
.connections svg #graph0 > polygon {
/* Main box */
fill: transparent;
stroke: none;
}
/* Side-to-side */
@media (min-width: 120ex) {
body:not(.no-toc) {
margin: 0;
2023-05-14 19:06:27 +00:00
max-width: none;
}
body:not(.no-toc) > .node {
margin-left: 25rem;
}
body:not(.no-toc) .global-table-of-contents {
position: fixed;
2023-05-14 19:06:27 +00:00
left: 1ex;
max-width: 25rem;
top: 1ex;
overflow: auto;
max-height: 100vh;
}
}
2022-07-21 21:30:47 +00:00
/* Dark mode. */
@media (prefers-color-scheme: dark) {
html {
2022-10-17 23:16:30 +00:00
background-color: #1d1f21;
2022-07-21 21:30:47 +00:00
color: #fafafe;
}
2022-10-03 21:40:57 +00:00
.node .node {
border-color: #8c9ea0;
}
.node .node > .title::before {
color: #aaa;
}
2022-07-21 21:30:47 +00:00
h2 a {
color: #fafafe;
}
a {
2022-10-16 22:10:06 +00:00
color: #00fdf2;
2022-07-21 21:30:47 +00:00
}
2022-11-01 11:19:20 +00:00
a:focus {
background-color: #00fdf2;
color: black;
}
h1 a:focus,
h2 a:focus,
h3 a:focus,
h4 a:focus,
h5 a:focus,
h6 a:focus
{
background-color: inherit;
color: #f7da4a;
}
2022-07-21 21:30:47 +00:00
h1,h2,h3,h4,h5,h6 {
color: #f7da4a;
2022-07-21 21:30:47 +00:00
}
2022-07-25 10:19:10 +00:00
/* Header */
.site-header {
background-color: #303033;
2022-07-25 10:19:10 +00:00
border-bottom: rgba(0,0,0,0.1) 1px solid;
}
.site-header h1 {
color: #fff;
}
.site-header .site-links .fancy-link {
border-right: 1px solid #fff;
}
2022-10-03 21:40:57 +00:00
/* Nav bar */
body nav h1 {
color: #eee;
}
body nav input {
color: #ddd;
border-bottom: 1px solid #888;
}
2022-10-16 22:10:06 +00:00
.results-box-container .results-box input {
color: #ddd;
border-bottom: 1px solid #888;
}
.results-box {
box-shadow: none;
background-color: #262628;
2022-10-16 22:10:06 +00:00
}
.results-box ul li {
background-color: #303033;
2022-10-16 22:10:06 +00:00
box-shadow: none;
}
.results-box ul li h2 {
color: white;
}
.results-box-container .results-box input:focus {
border-bottom: 1px solid #fff;
}
2022-10-03 21:40:57 +00:00
2022-07-22 16:16:48 +00:00
/* Code blocks */
.highlight pre {
padding: 1ex;
background-color: #262628;
}
2022-07-22 16:16:48 +00:00
pre {
padding: 0.5ex;
background-color: inherit;
box-shadow: none;
}
pre code {
padding: 1ex;
font-size: medium;
2022-07-24 21:56:29 +00:00
border: none;
background: #262628;
2022-07-22 16:16:48 +00:00
color: #fff;
}
code, .verbatim {
background: #262628;
2022-07-24 21:56:29 +00:00
color: #FFF;
font-family: Menlo, Monaco, "Courier New", monospace;
2022-07-22 16:16:48 +00:00
}
2022-09-27 22:04:06 +00:00
2022-11-03 23:31:32 +00:00
/* Results */
.results.lang-text {
2022-12-19 23:59:00 +00:00
border: 1px solid rgba(255,255,255,0.25);
2022-11-03 23:31:32 +00:00
}
.node .contents ul,
.global-table-of-contents ul {
--tree-color: #aaa;
}
2022-09-27 22:04:06 +00:00
/* Tables. */
table, th, td, tr {
border: 1px solid #eee;
}
tr.__table-separator {
border-bottom: 0.5ex solid #eee;
}
.connections svg polygon {
stroke: white;
fill: #222;
}
.connections svg .edge polygon {
stroke: white;
fill: white;
}
.connections svg .node polygon,
.connections svg .cluster polygon {
stroke: transparent;
fill: #303030;
}
.connections svg .cluster-depth-1 polygon {
stroke: transparent;
fill: #353535;
}
.connections svg .cluster-depth-2 polygon {
stroke: transparent;
fill: #3a3939;
}
.connections svg .cluster-depth-3 polygon {
stroke: transparent;
fill: #444444;
}
.connections svg .cluster-depth-4 polygon {
stroke: transparent;
fill: #484847;
}
.connections svg .cluster-depth-5 polygon {
stroke: transparent;
fill: #515151;
}
.connections svg .cluster-depth-6 polygon {
stroke: transparent;
fill: #565555;
}
.connections svg .cluster-depth-7 polygon {
stroke: transparent;
fill: #5a5a5a;
}
.connections svg text {
fill: white;
}
.connections svg path {
stroke: white;
}
2022-07-21 21:30:47 +00:00
}