diff --git a/v2/doc/Jamfile.v2 b/v2/doc/Jamfile.v2 index 43adbdacf..0101c3048 100644 --- a/v2/doc/Jamfile.v2 +++ b/v2/doc/Jamfile.v2 @@ -1,3 +1,8 @@ project tools/build/v2/doc ; boostbook userman : src/userman.xml ; + +# Copy stylesheet and images from 'official' docs location +stage html : ../../../../doc/html/boostbook.css ; +stage html/images + : [ path.glob ../../../../doc/html/images : *.png ] ; diff --git a/v2/doc/html/reference.css b/v2/doc/html/reference.css deleted file mode 100644 index 33ef65625..000000000 --- a/v2/doc/html/reference.css +++ /dev/null @@ -1,76 +0,0 @@ -th -{ - font-weight: bold; - text-align: center; -} - -.title -{ - font-weight: bold; - font-size: 2pc; - font-family: Times New Roman; - margin-bottom: 1pc; - text-align: center; -} - -.toc -{ - margin-left: 5%; - margin-right: 5%; - margin-bottom: 0pc; - width: 50%; -} - -.programlisting -{ - margin-left: 3pc; - width: 50%; -} - -.computeroutput -{ - font-family: Lucida Console; - font-size: 80%; -} - -.table -{ - text-align: center; - margin-bottom: 1pc; -} - -@media screen -{ - a{ color: blue; } - - th, .title - { - background-color: lightskyblue; - } - - .section-title - { - background-color: #EEE; - } - - .programlisting - { - background-color: #EED; - border: 0.1em ridge cyan; - padding: 1pc; - } - - .toc - { - border: 0.2em ridge lightcoral; - padding: 0.5pc; - background-color: #DDD; - } -} - -@media print -{ - a{ color: black; } -} - -