Tweak style of <details> elements.

1 files changed, 1 insertions, 0 deletions

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;}}