Do some minuscle adjustments on all-icons-divider

[why]
Testing with Firefox 113 and Chromium 118 the eveness of the round
circle might be improved a bit by using a slightly different font size.

Well, I did this on Linux, maybe the rendering is different on other
Platforms? We will see.

Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>

_includes/css/nerd-font-tweaks.scss

@@ -435,7 +435,7 @@ a.nerd-font-button:before {
 }
 
 .sectioninner3 {
-	line-height: 29px;
+	line-height: 29.5px;
 	word-spacing: 3px;
 	top: inherit;
 	left: inherit;
@@ -733,7 +733,7 @@ a.nerd-font-button:before {
 	}
 
 	.sectioninner3 {
-		line-height: 21px;
+		line-height: 20px;
 		font-size: 11px;
 	}
 }