Merge doc directory.

[SVN r76141]
This commit is contained in:
Daniel James 2011-12-24 18:24:02 +00:00
parent 49b0e4818b
commit 984c4595c2
4 changed files with 67 additions and 7 deletions

16
doc/html/container.html Normal file
View file

@ -0,0 +1,16 @@
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<!-- Copyright (C) 2002 Douglas Gregor <doug.gregor -at- gmail.com>
Distributed under the Boost Software License, Version 1.0.
(See accompanying file LICENSE_1_0.txt or copy at
http://www.boost.org/LICENSE_1_0.txt) -->
<title>Redirect to generated documentation</title>
<meta http-equiv="refresh" content="0; URL=http://boost-sandbox.sourceforge.net/doc/html/container.html">
</head>
<body>
Automatic redirection failed, please go to
<a href="http://boost-sandbox.sourceforge.net/doc/html/container.html">http://boost-sandbox.sourceforge.net/doc/html/container.html</a>
</body>
</html>

16
doc/html/move.html Normal file
View file

@ -0,0 +1,16 @@
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<!-- Copyright (C) 2002 Douglas Gregor <doug.gregor -at- gmail.com>
Distributed under the Boost Software License, Version 1.0.
(See accompanying file LICENSE_1_0.txt or copy at
http://www.boost.org/LICENSE_1_0.txt) -->
<title>Redirect to generated documentation</title>
<meta http-equiv="refresh" content="0; URL=http://boost-sandbox.sourceforge.net/doc/html/move.html">
</head>
<body>
Automatic redirection failed, please go to
<a href="http://boost-sandbox.sourceforge.net/doc/html/move.html">http://boost-sandbox.sourceforge.net/doc/html/move.html</a>
</body>
</html>

View file

@ -609,3 +609,38 @@ sub {
top: .5ex;
}
/*==============================================================================
Indexes: pretty much the same as the TOC.
==============================================================================*/
.index
{
font-size: 80%;
padding-top: 0px;
padding-bottom: 0px;
margin-top: 0px;
margin-bottom: 0px;
margin-left: 0px;
}
.index ul
{
padding-left: 3em;
}
.index p
{
padding: 2px;
margin: 2px;
}
.index-entry-level-0
{
font-weight: bold;
}
.index em
{
font-weight: bold;
}

View file

@ -19,11 +19,4 @@ body { font-family: sans-serif; margin: 1em; }
table { margin: 0.5em; }
/*******************************************************************************
Font sizes
*******************************************************************************/
p, td, li, blockquote { font-size: 10pt; }
pre { font-size: 9pt; }
/*** end ***/