more media queries

2 files changed, 4 insertions, 1 deletions

diff --git a/index.org b/index.org
index 8886ef5..b344335 100644
--- a/index.org
+++ b/index.org
@@ -64,7 +64,7 @@ website:
 #+begin_src shell :exports code :results silent
 cd ~/org/website
 git add .
-git commit -m "media queries"
+git commit -m "more media queries"
 git push github main
 rsync -azvP ~/website_html/ root@nullring.xyz:/var/www/ret2pop/
 #+end_src
diff --git a/style.css b/style.css
index 8234b7f..bb8a521 100644
--- a/style.css
+++ b/style.css
@@ -208,4 +208,7 @@ pre.src-stem:before {
     margin-left: 200px;
     font-size: 20px;
   }
+  #table-of-contents ul a {
+    font-size: 25px;
+  }
 }