Committing extra source files

This commit is contained in:
2025-08-08 12:26:01 +01:00
parent 3443e98d1f
commit 0309c458ba
22 changed files with 14241 additions and 1 deletions

125
style.css Normal file
View File

@@ -0,0 +1,125 @@
:root {
--bg: #ffffff;
--fg: #000000;
--link: #1a0dab;
--heading: #004c99;
--code-bg: #f0f0f0;
}
body {
background-color: var(--bg);
color: var(--fg);
transition: background-color 0.3s, color 0.3s;
}
/* Headings (override org.css if needed) */
h1, h2, h3 {
color: var(--heading);
}
/* Links */
a {
color: var(--link);
}
a:hover {
text-decoration: underline;
}
/* Copy button inside code blocks */
.copy-btn {
position: absolute;
top: 0.4em;
right: 0.4em;
background-color: var(--code-bg);
color: var(--heading);
border: 1px solid var(--heading);
border-radius: 4px;
padding: 0.2em 0.6em;
font-size: 0.8rem;
cursor: pointer;
z-index: 10;
transition: background-color 0.3s;
}
.copy-btn:hover {
background-color: var(--heading);
color: var(--code-bg);
}
/* Nav styling */
nav {
border-radius: 6px;
margin-bottom: 1rem;
font-weight: 600;
font-size: 1.1rem;
}
nav a {
color: var(--link);
text-decoration: none;
font-weight: 600;
}
nav a:hover {
text-decoration: underline;
}
/* Footer styling */
footer {
color: var(--fg);
padding: 1rem;
margin-top: 2rem;
border-radius: 6px;
text-align: center;
font-size: 0.9rem;
font-style: italic;
}
#updated {
font-size: 0.8rem;
color: var(--fg);
margin-bottom: 1rem;
font-style: italic;
}
pre.src::before {
content: none !important;
}
/* Container: <pre> */
pre.src {
padding: 1.5em 1em 1em 1em; /* top padding leaves space for button */
font-family: "Fira Mono", "Courier New", monospace;
font-size: 0.9rem;
line-height: 1.4;
overflow-x: auto;
white-space: pre-wrap; /* wrap long lines */
}
.post-date {
color: pink;
font-size: 0.9em;
margin-left: 8px;
}
.post-tag {
display: inline-block;
background-color: #f0f0f0;
color: #444;
border-radius: 5px;
padding: 2px 6px;
margin-left: 6px;
font-size: 0.8em;
float: right;
}
li::after {
content: "";
display: block;
clear: both;
}
li {
margin-bottom: 8px;
}