summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--code-box.css2
-rw-r--r--common.css50
-rw-r--r--intro.css6
-rw-r--r--man.css4
-rw-r--r--web.css4
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;
}