Fingerprint custom CSS so CDN caches pick up changes
Deploy / deploy (push) Successful in 5s

This commit is contained in:
tdehaeze committed 2026-10-17 21:57:09 +02:00
1 parent 148338e9c2
commit 7d39832b2a
4 files changed
+44 -1

No files matched your search

-63
View File
@@ -1,63 +0,0 @@
/* LaTeX-style subfigures across the site */
.subfigures {
margin: 1em 0;
}
.subfigure-row {
display: flex;
flex-wrap: wrap;
align-items: flex-end; /* bottom-align like LaTeX [b] */
justify-content: center;
gap: 1em;
}
.subfigure {
flex: 0 1 auto; /* use the inline flex-basis, but allow shrinking */
min-width: 0; /* let items shrink below their content width */
box-sizing: border-box;
}
.subfigure img {
display: block;
max-width: 100%;
height: auto;
margin: 0 auto;
}
.subfigure-caption {
text-align: center;
font-size: 0.85em;
color: #555;
margin-top: 0.4em;
}
.subfigure-label {
font-weight: 600;
margin-right: 0.25em;
}
/* Main caption styled like the theme's normal figure figcaption */
.subfigures > figcaption {
text-align: center;
margin-top: 0.75em;
}
/* Stack subfigures on narrow screens */
@media (max-width: 600px) {
.subfigure-row {
flex-direction: column;
align-items: center;
}
.subfigure {
flex-basis: auto !important;
width: 100%;
max-width: 100%;
}
}
.site-navbar .menu-item-link.active { color: #c05b4d; font-weight: bold; }
.header .site-navbar { float: none; text-align: center; }
.header .site-navbar .menu { padding-right: 0; }
-81
View File
@@ -1,81 +0,0 @@
.pub-section {
margin-top: 2em;
}
.pub-section h2 {
margin-bottom: 0.75em;
font-size: 1.5em;
}
.pub-list {
display: flex;
flex-direction: column;
gap: 1.1em;
}
.pub-item {
line-height: 1.5;
}
.pub-header {
margin-bottom: 0.15em;
}
.pub-prefix {
display: inline-block;
min-width: 2.8em;
font-weight: 600;
color: #8a8a8a;
}
/* Title in the default text color, and in the link color when it links to a page */
.pub-title {
font-weight: 600;
color: inherit;
}
a.pub-title {
color: hsl(232, 61%, 64%);
}
a.pub-title:hover {
border-bottom: 1px solid hsl(232, 61%, 64%);
}
.pub-links-centered {
text-align: center;
}
.pub-note {
margin-left: 0.5em;
font-size: 0.85em;
font-style: italic;
color: #8a8a8a;
}
.pub-meta {
color: #34495e;
}
.pub-links {
font-size: 0.9em;
}
.pub-links a {
white-space: nowrap;
color: #c05b4d;
}
.pub-links a:hover {
border-bottom: 1px solid #c05b4d;
}
@media (max-width: 600px) {
.pub-prefix {
min-width: 2.4em;
}
}
.pub-sep {
color: #8a8a8a;
}