|
Boost-Commit : |
Subject: [Boost-commit] svn:boost r72559 - website/public_html/beta/doc/libs/common/doc/src
From: dnljms_at_[hidden]
Date: 2011-06-12 15:54:23
Author: danieljames
Date: 2011-06-12 15:54:22 EDT (Sun, 12 Jun 2011)
New Revision: 72559
URL: http://svn.boost.org/trac/boost/changeset/72559
Log:
Website: update boostbook.css
Text files modified:
website/public_html/beta/doc/libs/common/doc/src/boostbook.css | 26 ++++++++++++++++++--------
1 files changed, 18 insertions(+), 8 deletions(-)
Modified: website/public_html/beta/doc/libs/common/doc/src/boostbook.css
==============================================================================
--- website/public_html/beta/doc/libs/common/doc/src/boostbook.css (original)
+++ website/public_html/beta/doc/libs/common/doc/src/boostbook.css 2011-06-12 15:54:22 EDT (Sun, 12 Jun 2011)
@@ -72,12 +72,12 @@
font-weight: bold;
}
- h1 { font: 140% }
- h2 { font: bold 140% }
- h3 { font: bold 130% }
- h4 { font: bold 120% }
- h5 { font: italic 110% }
- h6 { font: italic 100% }
+ h1 { font-size: 140%; }
+ h2 { font-weight: bold; font-size: 140%; }
+ h3 { font-weight: bold; font-size: 130%; }
+ h4 { font-weight: bold; font-size: 120%; }
+ h5 { font-weight: normal; font-style: italic; font-size: 110%; }
+ h6 { font-weight: normal; font-style: italic; font-size: 100%; }
/* Top page titles */
title,
@@ -221,7 +221,11 @@
/* Code on toc */
.toc .computeroutput { font-size: 120% }
-
+
+ /* No margin on nested menus */
+
+ .toc dl dl { margin: 0; }
+
/*=============================================================================
Tables
=============================================================================*/
@@ -586,11 +590,17 @@
height: 0;
line-height: 1;
vertical-align: baseline;
- _vertical-align: bottom;
position: relative;
}
+/* For internet explorer: */
+
+* html sup,
+* html sub {
+ vertical-align: bottom;
+}
+
sup {
bottom: 1ex;
}
Boost-Commit list run by bdawes at acm.org, david.abrahams at rcn.com, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk