From 48be9119ea2bae08b44b711ffd189fe25eeced15 Mon Sep 17 00:00:00 2001
From: "A. Wilcox" <AWilcox@Wilcox-Tech.com>
Date: Mon, 10 Dec 2018 11:24:53 -0600
Subject: CSS: make other-credits smaller than authors

---
 src/pretty.css | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src')

diff --git a/src/pretty.css b/src/pretty.css
index 3ecd03b..2066874 100644
--- a/src/pretty.css
+++ b/src/pretty.css
@@ -21,6 +21,10 @@ div.toc,div.list-of-tables,div.list-of-examples {
 	font-family: 'IBM Plex Sans', 'Helvetica Neue', Helvetica, sans-serif;
 }
 
+div.othercredit {
+	font-size: smaller;
+}
+
 h2 {
 	margin-top: 2.5em;
 }
-- 
cgit v1.2.3-70-g09d2