Polish.

crocs-muni · Mar 6, 2024 · 8f7aeea · 8f7aeea
1 parent 78aeab5
commit 8f7aeea
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 2 deletions.
diff --git a/assets/css/style.scss b/assets/css/style.scss
@@ -27,4 +27,9 @@
     color: rgb(131, 138, 141);
     background-color:rgba(239, 239, 239, 0.5);
     border-color: rgba(96, 108, 113, 0.7);
-}
+}
+
+main-content h1, .main-content h2, .main-content h3, .main-content h4, .main-content h5, .main-content h6 {
+	color: black;
+	font-weight: bold;
+}
diff --git a/index.md b/index.md
@@ -1,7 +1,7 @@
 ---
 ---
 
-<h1 style="display: flex; align-items: center; color: black; font-weight: bold;"><img src="/assets/img/logo.svg" /><span style="margin-left: 1em;">Constant-timeness verification tools</span></h1>
+<h1 style="display: flex; align-items: center; color: black; font-weight: bold;"><img src="{{ "/assets/img/logo.svg" | relative_url }}" /><span style="margin-left: 1em;">Constant-timeness verification tools</span></h1>
 
 
 This page lists tools for testing and verification of constant-timeness of programs.