Ajout du aside pour donner des notes

2024-05-24 13:01:54 +02:00
parent c6211a8b8d
commit 34bbb349ac
1 changed files with 24 additions and 0 deletions
--- a/assets/style.css
+++ b/assets/style.css
@@ -133,6 +133,30 @@ pre {
    display: none;
 }

+aside {
+    padding: 5px;
+    border: solid 1px black;
+    margin-left: 2rem;
+    margin-right: 2rem;
+    margin-top: 35px;
+    margin-bottom: 35px;
+}
+
+aside > :first-child {
+    margin-top: 0;
+}
+
+aside > :last-child {
+    margin-bottom: 0;
+}
+
+.guide aside::before {
+    content: "➔";
+    float: left;
+    margin-right: 1ex;
+    margin-left: 5px;
+}
+
@media print {
    header a {
        display: none;