diff -p -N -r -U 4 -X excl.tmp quickdoc/doc/theme/style.css quickdoc-hacked/doc/theme/style.css --- quickdoc/doc/theme/style.css 2002-09-29 03:55:52.000000000 +0100 +++ quickdoc-hacked/doc/theme/style.css 2004-03-17 17:57:50.000000000 +0000 @@ -11,8 +11,9 @@ h3 { font: 120% sans-serif; font-weight: h4 { font: bold 100% sans-serif; font-weight: bold; text-align: left; } h5 { font: italic 100% sans-serif; font-weight: bold; text-align: left; } h6 { font: small-caps 100% sans-serif; font-weight: bold; text-align: left; } + pre { border-top: gray 1pt solid; border-right: gray 1pt solid; @@ -24,22 +25,22 @@ pre padding-left: 2pt; padding-bottom: 2pt; display: block; - font-family: "courier new", courier, mono; + font-family: "courier new", courier, mono, sans-serif; background-color: #eeeeee; font-size: small } code { - font-family: "Courier New", Courier, mono; + font-family: "Courier New", Courier, mono, sans-serif; font-size: small } tt { display: inline; - font-family: "Courier New", Courier, mono; + font-family: "Courier New", Courier, mono, sans-serif; color: #000099; font-size: small } @@ -80,8 +81,15 @@ a:hover { color: #8080FF; } .white_bkd { background-color: #FFFFFF} .dk_grey_bkd { background-color: #999999} .quotes { color: #666666; font-style: italic; font-weight: bold} +.note_table +{ + margin: auto; + width: 80%; + margin-top: 10px; +} + .note_box { display: block; @@ -99,30 +107,70 @@ a:hover { color: #8080FF; } background-color: #E2E9EF; font-size: small; text-align: justify } +.title +{ + background-image: url(bkd2.gif); + background-color: #AAAAAA; + + font-family: Verdana, Arial, Helvetica, sans-serif; + font-weight: bold; + font-size: xx-large; + + padding-top: 1px; + padding-right: 1px; + padding-bottom: 1px; + padding-left: 10px; +} + + +.user_table +{ + margin: auto; + width: 90%; + margin-top: 10px; +} + + .table_title { background-color: #648CCA; font-family: Verdana, Arial, Helvetica, sans-serif; color: #FFFFFF; - font-weight: bold -; padding-top: 4px; padding-right: 4px; padding-bottom: 4px; padding-left: 4px + font-weight: bold; + + padding-top: 4px; + padding-right: 4px; + padding-bottom: 4px; + padding-left: 4px; } + .table_cells { background-color: #E2E9EF; font-family: Geneva, Arial, Helvetica, san-serif; - font-size: small -; padding-top: 4px; padding-right: 4px; padding-bottom: 4px; padding-left: 4px + font-size: small; + + padding-top: 4px; + padding-right: 4px; + padding-bottom: 4px; + padding-left: 4px; +} + +.toc_table +{ + margin: auto; + width: 80%; + margin-top: 10px; } .toc { DISPLAY: block; - background-color: #E2E9EF + background-color: #E2E9EF; font-family: Arial, Helvetica, sans-serif; border-top: gray 1pt solid; border-left: gray 1pt solid; diff -p -N -r -U 4 -X excl.tmp quickdoc/quickdoc.cpp quickdoc-hacked/quickdoc.cpp --- quickdoc/quickdoc.cpp 2004-03-17 17:57:22.000000000 +0000 +++ quickdoc-hacked/quickdoc.cpp 2004-03-17 17:57:50.000000000 +0000 @@ -23,73 +23,106 @@ using namespace quickdoc; using namespace boost::spirit; void navigator(ostream& out, char const* prev, char const* next) { - out << "
| \n" + << " | \n" + << title << " | \n" - << "\n" - << " " << title << "\n" - << " | \n" - << ""
- << " | \n"
+ << " "
+ << " | \n"
<< "
Copyright © 2001-2002 Joel de Guzman
\n"
- << "Permission to copy, use, modify, sell and distribute this document\n"
- << " is granted provided this copyright notice appears in all copies. This document\n"
- << " is provided "as is" without express or implied warranty, and with\n"
- << " no claim as to its suitability for any purpose.
\n"
+ << " \n"
+ << " \n"
+ << " \n"
+
+ << " \n"
+ << "
\n"
+ << " \n"
+ << "
\n" + << copyright << '\n' + << "
\n" << "\n" << "\n" - ; + ; } void start_page(ostream& out, char const* title, char const* prev, char const* next) { @@ -107,15 +140,30 @@ namespace { template\n";
+ out << "\n";
while (first != last && isspace(*first)) // print leading spaces
print_char(*first++, out);
parse(first, last, code_p);
- out << "
\n";
+ out << "\n";
}
}
ostream& out;
@@ -274,12 +324,12 @@ namespace
const char* h5_pre = "