From 2ab26e22f1a0e44d9923667540900455bf1b8710 Mon Sep 17 00:00:00 2001 From: Stuart McGrigor Date: Thu, 8 Aug 2019 22:10:32 +1200 Subject: [PATCH] Orange Bold headings for tag groups --- demo/playground/index.html | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/demo/playground/index.html b/demo/playground/index.html index d322ee3e..26b1cae5 100644 --- a/demo/playground/index.html +++ b/demo/playground/index.html @@ -14,6 +14,12 @@ redoc { display: block; } + + label[role=menuitem][type=group] { + color: orange; + font-weight: bolder; + font-size: 120%; + }