[doc]

... goes under `docs/` for maximum GitHub Pages goodness
epfl-si · Oct 6, 2023 · d82ccef · d82ccef
1 parent 8ce2c8f
commit d82ccef
Show file tree

Hide file tree

Showing 5 changed files with 619 additions and 0 deletions.
diff --git a/docs/images/Architecture OpenShift 4.drawio.svg b/docs/images/Architecture OpenShift 4.drawio.svg
diff --git a/docs/images/monitoring.png b/docs/images/monitoring.png
diff --git a/docs/visite-guidée.css b/docs/visite-guidée.css
@@ -0,0 +1,26 @@
+.reveal ul {
+    display: inherit;
+}
+
+section {
+    border-radius: 20px;
+}
+
+section.slide-text-gray {
+    background-color: #6f6f6fa3;
+    pre {
+        color: white;
+    }
+}
+
+code {
+    color: lightblue;
+}
+
+section#sec-title-slide a {
+    color: var(--r-link-color-hover);
+}
+
+section.slide-code-boxed pre {
+    background-color: white;
+}