Fine tuning of font size in code blocks of docu

mcuntz · mcuntz · commit b336420753da · 2022-08-02T00:43:45.000+02:00
diff --git a/docs/html/_static/css/custom.css b/docs/html/_static/css/custom.css
@@ -55,6 +55,11 @@ div.body h4 {
     margin-top: 2em;
 }
 
+/* code snippets */
+div.body .highlight {
+    font-size: 85%;
+}
+
 /* sidebar */
 
 div.sphinxsidebar {
@@ -92,8 +97,10 @@ pre, tt, code {
     font-family: Liberation Mono, DejaVu San Mono, Monospace, fixed;
 }
 
+/* comments within code blocks; font-size is relative to above div.body .highlight */
 .highlight .c1 {
     font-style: normal;
+    font-size: 100%;
 }
 
 /* tables */
diff --git a/docs/source/_static/css/custom.css b/docs/source/_static/css/custom.css
@@ -55,6 +55,11 @@ div.body h4 {
     margin-top: 2em;
 }
 
+/* code snippets */
+div.body .highlight {
+    font-size: 85%;
+}
+
 /* sidebar */
 
 div.sphinxsidebar {
@@ -92,8 +97,10 @@ pre, tt, code {
     font-family: Liberation Mono, DejaVu San Mono, Monospace, fixed;
 }
 
+/* comments within code blocks; font-size is relative to above div.body .highlight */
 .highlight .c1 {
     font-style: normal;
+    font-size: 100%;
 }
 
 /* tables */

Original file line number	Diff line number	Diff line change
`@@ -55,6 +55,11 @@ div.body h4 {`
`55`	`55`	`margin-top: 2em;`
`56`	`56`	`}`
`57`	`57`
	`58`	`+/* code snippets */`
	`59`	`+div.body .highlight {`
	`60`	`+ font-size: 85%;`
	`61`	`+}`
	`62`	`+`
`58`	`63`	`/* sidebar */`
`59`	`64`
`60`	`65`	`div.sphinxsidebar {`
`@@ -92,8 +97,10 @@ pre, tt, code {`
`92`	`97`	`font-family: Liberation Mono, DejaVu San Mono, Monospace, fixed;`
`93`	`98`	`}`
`94`	`99`
	`100`	`+/* comments within code blocks; font-size is relative to above div.body .highlight */`
`95`	`101`	`.highlight .c1 {`
`96`	`102`	`font-style: normal;`
	`103`	`+ font-size: 100%;`
`97`	`104`	`}`
`98`	`105`
`99`	`106`	`/* tables */`