more media queries

diff --git a/index.org b/index.org
index 8886ef5ca1073728383b7b526ba7edfe31df911a..b344335928ea00adda8555b711c1dbe9c2ccfd36 100644 (file)
--- 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 8234b7fd894fb09d38bf49d336600e64da6f3d9f..bb8a521c993924f98523dde9d0673dcfca9bcd3a 100644 (file)
--- 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;
+  }
 }