--- nono/doc/common.php	2026/04/29 17:04:40	1.1.1.2
+++ nono/doc/common.php	2026/04/29 17:05:15	1.1.1.6
@@ -16,6 +16,10 @@
 	--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);
@@ -35,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 {
@@ -49,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>