Merge pull request #11 from ferrocene/pa-toctrees-without-captions

Add support for toctrees without captions

Author: pietroalbini

.github/workflows/ci.yml

@@ -12,7 +12,7 @@ permissions:
 jobs:
   lint:
     name: Lints
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-20.04
     steps:
       - uses: actions/checkout@v3
 

themes/ferrocene/static/ferrocene.css

@@ -385,11 +385,19 @@ nav label.toggle:hover {
     color: var(--sidebar-active-fg);
 }
 
+nav div.toctree {
+    padding: 1.25rem 0 1rem 0;
+}
+
 nav p.caption {
     font-weight: 700;
     margin: 1.25rem 1rem 0.5rem 1rem;
 }
 
+nav p.caption:first-child {
+    margin-top: 0;
+}
+
 nav ul {
     margin: 0;
     padding: 0;
@@ -413,10 +421,6 @@ nav a.current {
     text-decoration: none;
 }
 
-div.toctree {
-    padding-bottom: 1rem;
-}
-
 /********************
  *   Page styling   *
  ********************/