Merge pull request #38 from DARC-e-V/feature-css-adjustments

Feature css adjustments
This commit is contained in:
Matthias Jung
2026-01-06 17:19:18 +04:00
committed by GitHub
3 changed files with 14 additions and 11 deletions
+7 -8
View File
@@ -286,6 +286,13 @@ span.formula {
margin-top: 4ex;
margin-bottom: 4ex;
}
figure img {
min-width: min(100%, 800px);
max-width: min(100%, 800px);
max-height: 50vh;
object-fit: contain;
}
}
.course .margin em {
@@ -294,14 +301,6 @@ span.formula {
color: #2aa6da;
}
.course .tip p,
.course .unit p,
.course .indepth p,
.course .attention p,
.course .danger p {
margin-block-end: 0;
}
.course .margin.tip:before,
.course .margin.unit:before,
.course .margin.indepth:before,
+6 -2
View File
@@ -176,11 +176,11 @@ section.has-dark-background h6 {
}
.reveal ul {
list-style-type: disc;
list-style-type: square;
}
.reveal ul ul {
list-style-type: square;
list-style-type: "- ";
}
.reveal ul ul ul {
@@ -195,6 +195,10 @@ section.has-dark-background h6 {
margin-left: 40px;
}
.reveal ul li::marker {
color: #2aa6da;
}
.reveal dt {
font-weight: bold;
}
+1 -1
View File
@@ -26,7 +26,7 @@
}
function highlightRef(ref) {
console.log(ref)
document.getElementById('ref_' + ref).style.background='red';
document.getElementById('ref_' + ref).style.background='#2aa6da';
setTimeout(() => {
document.getElementById('ref_' + ref).style.background='none';
}, 500);