]> git.r.bdr.sh - rbdr/r.bdr.sh/commitdiff
Only
authorRuben Beltran del Rio <redacted>
Mon, 23 Sep 2024 20:27:56 +0000 (22:27 +0200)
committerRuben Beltran del Rio <redacted>
Mon, 23 Sep 2024 20:27:56 +0000 (22:27 +0200)
css/style.css
index.gmi

index e5d97db14d706ed47fc59a481fd108fe4c3bc956..b1aca4ffdb78f9827e63e6436629a523033613b8 100644 (file)
@@ -51,8 +51,8 @@ aside {
 
 .columned .h2:first-of-type pre { line-height: 1 }
 
+.a { margin: 0 0.3em }
 blockquote, p, article > div {
-  margin: 0 0.3em;
   max-width: 45em
 }
 pre { max-width: 55em }
index 39edc95e0bad7ebc33c23a0037e280e325f5bc6b..571a6cf71765fa4b5b493db4b88b5ab4047dc883 100644 (file)
--- a/index.gmi
+++ b/index.gmi
@@ -246,11 +246,13 @@ To listen online, you can also find it in the world wide web.
 
 ## Additional Services and Links
 
+### Git
 This domain hosts all my git repositories, available on https[1] or gemini[2]. (Mirror available at sourcehut[3])
 => https://git.r.bdr.sh [1] https git server
 => gemini://r.bdr.sh/git [2] gemini git server
 => https://git.sr.ht/~rbdr [3] sourcehut mirror
 
+### Monitor
 ðŸ”¬ You can check the status of the running services in our https[1] and gemini[2] service monitor
 => https://monitor.srv.bdr.sh [1] https monitor
 => gemini://r.bdr.sh/monitor  [2] gemini monitor