From 2f7e47946c2802c456ad75b90eebb27c7aa213d6 Mon Sep 17 00:00:00 2001
From: Chris Xiong <chirs241097@gmail.com>
Date: Wed, 23 Aug 2023 23:16:47 +0800
Subject: Tweak style of <details> elements.

---
 index.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/index.html b/index.html
index f5b6907..ae55b8f 100644
--- a/index.html
+++ b/index.html
@@ -19,6 +19,7 @@
 <link rel="stylesheet" type="text/css" href="theme3b.css" id="theme3b">
 <style>
 	reduced{font-size:75%;}
+	details{padding:.5em .5em 0 .2em;}
 	#msgform{width:50%;margin:auto;}
 	@media (max-width:768px)
 	{#msgform{width:auto;margin:1em;}}
-- 
cgit v1.2.3