5 files changed, 33 insertions, 33 deletions

diff --git a/code-box.css b/code-box.css
index 9c9e1fc..80c2226 100644
--- a/code-box.css
+++ b/code-box.css
@@ -22,4 +22,4 @@ code::after
   letter-spacing: -0.2em;
   content: "\00a0";
 }
-*/
\ No newline at end of file
+*/
diff --git a/common.css b/common.css
index dc1cd16..bdb8d7d 100644
--- a/common.css
+++ b/common.css
@@ -55,9 +55,9 @@ body {min-width: 17em;}
   border-collapse: collapse;
 }
 
-#header-logo, #header-menu 
+#header-logo, #header-menu
 {
-  display: table-cell; 
+  display: table-cell;
   border: none;
   padding: 0;
   vertical-align: middle;
@@ -70,7 +70,7 @@ body {min-width: 17em;}
 #header-logo {padding-left: .4em;}
 #header-menu {padding-right: .4em;}
 
-#header-logo a 
+#header-logo a
 {
   color: #000;
   text-decoration: none;
@@ -81,7 +81,7 @@ body {min-width: 17em;}
 
 #header-menu a
 {
-  font-size: 0.889em;  
+  font-size: 0.889em;
   line-height: 1.4em;
   text-align: right;
   margin-left: 1em;
@@ -89,13 +89,13 @@ body {min-width: 17em;}
   letter-spacing: 0;
 }
 
-#header-menu a 
+#header-menu a
 {
   color: #000;
   outline: none;
 }
 #header-menu a:visited {color: #000;}
-#header-menu a:hover, #header-menu a:active 
+#header-menu a:hover, #header-menu a:active
 {
   color: #3870c0;
   text-decoration: none;
@@ -128,8 +128,8 @@ body {min-width: 17em;}
 }
 */
 
-/* 
- * Content. 
+/*
+ * Content.
  */
 
 #content
@@ -143,20 +143,20 @@ body {min-width: 17em;}
   box-sizing: border-box;
 }
 
-/* 
- * Footer (optional). 
+/*
+ * Footer (optional).
  */
 
 #footer
-{ 
+{
   color: #767676;
   font-size: 0.7223em;
   line-height: 1.3em;
   margin: 2.2em 0 1em 0;
-  text-align: center;  
+  text-align: center;
 }
 
-#footer a 
+#footer a
 {
   color: #767676;
   text-decoration: underline;
@@ -181,28 +181,28 @@ body {min-width: 17em;}
 }
 
 @media only screen and (max-width: 359px)
-{  
+{
   #footer {border-color: red;}
 }
 
 @media only screen and (min-width: 360px) and (max-width: 567px)
-{  
+{
   #footer {border-color: orange;}
 }
 
 @media only screen and (min-width: 568px) and (max-width: 1023px)
-{  
+{
   #footer {border-color: blue;}
 }
 
 @media only screen and (min-width: 1024px)
-{  
+{
   #footer {border-color: green;}
 }
 */
 
-/* 
- * Common elements. 
+/*
+ * Common elements.
  */
 
 p, li, dd {text-align: justify;}
@@ -215,17 +215,17 @@ a
   text-decoration: none;
 }
 
-a:hover, a:active 
-{  
+a:hover, a:active
+{
 /*color: #006fbf;*/
 /*color: #0087e7;*/
   text-decoration: underline;
 }
 
-a:visited 
+a:visited
 {
 /*color: #003388;*/
-  color: #00409c;  
+  color: #00409c;
 }
 
 /* Standard lists. */
@@ -245,12 +245,12 @@ code, pre
 pre {white-space: pre-wrap;}
 
 @media only screen and (max-width: 567px)
-{  
+{
   pre {word-break: break-all;}
 }
 
 /* Use page rather than system font settings. */
-input 
+input
 {
   font-family: inherit;
   font-weight: inherit;
diff --git a/intro.css b/intro.css
index d0761e5..fffb9fd 100644
--- a/intro.css
+++ b/intro.css
@@ -12,7 +12,7 @@
  */
 
 #content
-{   
+{
   max-width: 43.6em;
   padding-left: 3em; /* Reserve for headings. */
 }
@@ -21,9 +21,9 @@ h1
 {
   font-weight: normal;
   font-size: 2em;
-  line-height: 1.4em;  
+  line-height: 1.4em;
   margin: 1.6em 0 .6em -1.4em;
-}   
+}
 
 /* Title page */
 
diff --git a/man.css b/man.css
index edce511..1e3dde8 100644
--- a/man.css
+++ b/man.css
@@ -10,8 +10,8 @@
  *
  */
 
-#content 
-{ 
+#content
+{
   max-width: 42.1em;
   padding-left: 1.5em; /* Reserve for the heading. */
 }
diff --git a/web.css b/web.css
index 50d78a1..57e0df0 100644
--- a/web.css
+++ b/web.css
@@ -46,10 +46,10 @@ h3
 {
   font-weight: normal;
   font-size: 1.223em;
-  line-height: 1.4em;  
+  line-height: 1.4em;
   letter-spacing: 0;
   margin: 2.4em 0 1em 0;
-    
+
   padding-left: .4em;
   border-left: 3px solid #ccc;
 }