--- nono/doc/common.php 2026/04/29 17:04:54 1.1.1.4 +++ nono/doc/common.php 2026/04/29 17:05:15 1.1.1.6 @@ -16,7 +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); @@ -36,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 { @@ -53,5 +67,11 @@ dt.dt-indent { .strike > q { color: var(--grey); } +.new { + background-color: var(--light-green); +} +.new > q { + background-color: var(--light-green); +}