Issue checkstyle#16077: made website font size bigger

romani · Jan 23, 2025 · 142cbf6 · 142cbf6
1 parent 9bb3320
commit 142cbf6
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 2 deletions.
diff --git a/config/jsoref-spellchecker/whitelist.words b/config/jsoref-spellchecker/whitelist.words
@@ -48,6 +48,7 @@ APRV
 Aqj
 archunit
 arget
+Arial
 arity
 Arquillian
 arraycopy
@@ -1416,6 +1417,7 @@ VALUEEEE
 vararg
 variabledeclarationusagedistance
 Veach
+Verdana
 Versioning
 verticalwhitespace
 Vetrenko

diff --git a/src/site/resources/css/site.css b/src/site/resources/css/site.css
@@ -1,3 +1,7 @@
+body, td, select, input, li {
+  font-family: Verdana, Helvetica, Arial, sans-serif;
+}
+
 h1 {
   text-transform: capitalize;
   font-size: x-large;
@@ -77,8 +81,14 @@ section {
   position: relative;
 }
 
-div, p, td, table td, th, table th, li, pre, #breadcrumbs span, .sidebar-nav h5,
-.sidebar-nav li, #footer, div.tip b, .releaseDate, .breadcrumb {
+div, p, td, table td, th, table th, li, pre, #breadcrumbs span,
+#footer, div.tip b, .releaseDate, .breadcrumb {
+  font-size: 17px;
+  line-height: 1.625;
+}
+
+.sidebar-nav h5,
+.sidebar-nav li {
   font-size: 15px;
 }
 
@@ -90,6 +100,10 @@ div, p, td, table td, th, table th, li, pre, #breadcrumbs span, .sidebar-nav h5,
   padding: 8px 4px 0 12px;
 }
 
+.nav-list {
+  padding-left: 7px;
+}
+
 img[src="images/anchor.png"] {
   max-width: unset;
 }