--- nono/doc/common.php	2026/04/29 17:04:33	1.1
+++ nono/doc/common.php	2026/04/29 17:05:15	1.1.1.6
@@ -16,10 +16,16 @@
 	--brown:		rgb(128,  64,   0);
 	--green:		rgb(  3, 175, 122);
 	--grey:			rgb(132, 145, 158);
+	--cream:		rgb(255, 255, 128);
+	--yellow-green:	rgb(216, 242,  85);
+	--light-pink:	rgb(255, 202, 191);
+	--light-green:	rgb(119, 217, 168);
 	--light-grey:	rgb(200, 200, 203);
+
+	--bg-grey:		rgb(220, 220, 223);
 }
 body {
-	background-color: var(--light-grey);
+	background-color: var(--bg-grey);
 }
 q {
 	color: var(--brown);
@@ -33,7 +39,18 @@ q:after {
 dt.dt-indent {
 	padding-left: 1ex;
 }
+.h4 {
+	font-weight: bold;
+	font-size: 110%;
+}
+.h5 {
+	font-weight: bold;
+	padding-left: 1ex;
+}
 .main {
+	margin-left: 2em;
+}
+.main1 {
 	margin-left: 1em;
 }
 .cons {
@@ -47,5 +64,14 @@ dt.dt-indent {
 .strike {
 	color: var(--grey);
 }
+.strike > q {
+	color: var(--grey);
+}
+.new {
+	background-color: var(--light-green);
+}
+.new > q {
+	background-color: var(--light-green);
+}
 </style>
 </head>