aboutsummaryrefslogtreecommitdiffstats
path: root/stylesheets/lfs.css
diff options
context:
space:
mode:
Diffstat (limited to 'stylesheets/lfs.css')
-rw-r--r--stylesheets/lfs.css50
1 files changed, 37 insertions, 13 deletions
diff --git a/stylesheets/lfs.css b/stylesheets/lfs.css
index 0ca6c3f95..f3de7f496 100644
--- a/stylesheets/lfs.css
+++ b/stylesheets/lfs.css
@@ -55,7 +55,9 @@ div.navfooter {
}
div.navheader ul, div.navfooter ul {
- padding: .2em;
+ padding: .2em .5em .5em 0;
+ margin-left: 0px;
+ margin-right: 2px;
position: relative;
background: #dbddec;
}
@@ -69,17 +71,17 @@ div.navheader ul li.prev, div.navfooter ul li.prev {
display: block;
left: 0;
text-align: left;
- padding: 0.2em .5em;
- margin: 0;
+ padding: 0.2em 1em;
+ margin-left: 6px;
}
div.navheader ul li.next, div.navfooter ul li.next {
position: absolute;
display: block;
- right: 0;
text-align: right;
- padding: 0.2em .5em;
- margin: 0;
+ right: 5px;
+ padding: 0.2em 0.5em;
+ margin-right: 7px;
}
div.navheader ul li.prev p, div.navfooter ul li.prev p,
@@ -127,13 +129,26 @@ div.toc ul li h3, div.toc ul li h4 {
}
/* Admonitions */
-div.admonition {
+div.note, div.tip {
background-color: #fffff6;
- border: medium solid #600;
+ border: 2px solid #dbddec;
width: 90%;
margin: .5em auto;
}
+div.important, div.warning, div.caution {
+ background-color: #fffff6;
+ border: medium solid #400;
+ width: 90%;
+ margin: .5em auto;
+ color: #600;
+ font-size: larger;
+}
+
+div.important h3, div.warning h3, div.caution h3 {
+ color: #900;
+}
+
div.admonhead img {
padding: .3em;
}
@@ -147,6 +162,15 @@ div.admonbody {
margin: .5em;
}
+div.important em, div.warning em, div.caution em {
+ color: #000;
+ font-weight: bold;
+}
+
+div.important tt, div.warning tt, div.caution tt {
+ font-weight: bold;
+}
+
/* variablelist & segmentedlist */
dl {
margin: 0;
@@ -205,15 +229,15 @@ pre.screen {
/* Sections */
div.wrap h1 {
background: #f5f6f7;
- padding: 0.5em 0 0.3em 0;
- margin: 0;
+ padding: 1em 0 0.5em 0;
+ margin: 0px auto;
}
div.package {
background: #f5f6f7;
border-bottom: 0.2em solid #dbddec;
- padding: 0 0.5em 0.3em 0.5em;
- margin: 0;
+ padding: 0.5em 0.5em 0.3em 0.5em;
+ margin: 0px auto;
}
div.installation {
@@ -231,7 +255,7 @@ div.configuration {
div.content {
background: #f5f6f7;
border-top: 0.2em solid #dbddec;
- padding: 0.5em 0.5em 0.5em 0.5em;
+ padding: 0.5em 0.5em 1em 0.5em;
margin: 0.5em 0 .5em 0;
}