The default style and added a global doxygen define.

This commit is contained in:
Philipp Möller 2012-10-09 09:28:29 +00:00
parent c600bd13a5
commit 4aa96e7031
5 changed files with 96 additions and 71 deletions

View File

@ -942,13 +942,13 @@ HTML_EXTRA_STYLESHEET =
# 180 is cyan, 240 is blue, 300 purple, and 360 is red again. # 180 is cyan, 240 is blue, 300 purple, and 360 is red again.
# The allowed range is 0 to 359. # The allowed range is 0 to 359.
HTML_COLORSTYLE_HUE = 260 HTML_COLORSTYLE_HUE = 220
# The HTML_COLORSTYLE_SAT tag controls the purity (or saturation) of # The HTML_COLORSTYLE_SAT tag controls the purity (or saturation) of
# the colors in the HTML output. For a value of 0 the output will use # the colors in the HTML output. For a value of 0 the output will use
# grayscales only. A value of 255 will produce the most vivid colors. # grayscales only. A value of 255 will produce the most vivid colors.
HTML_COLORSTYLE_SAT = 40 HTML_COLORSTYLE_SAT = 100
# The HTML_COLORSTYLE_GAMMA tag controls the gamma correction applied to # The HTML_COLORSTYLE_GAMMA tag controls the gamma correction applied to
# the luminance component of the colors in the HTML output. Values below # the luminance component of the colors in the HTML output. Values below
@ -957,7 +957,7 @@ HTML_COLORSTYLE_SAT = 40
# so 80 represents a gamma of 0.8, The value 220 represents a gamma of 2.2, # so 80 represents a gamma of 0.8, The value 220 represents a gamma of 2.2,
# and 100 does not change the gamma. # and 100 does not change the gamma.
HTML_COLORSTYLE_GAMMA = 90 HTML_COLORSTYLE_GAMMA = 80
# If the HTML_TIMESTAMP tag is set to YES then the footer of each generated HTML # If the HTML_TIMESTAMP tag is set to YES then the footer of each generated HTML
# page will contain the date and time when the page was generated. Setting # page will contain the date and time when the page was generated. Setting
@ -1533,7 +1533,7 @@ INCLUDE_FILE_PATTERNS =
# undefined via #undef or recursively expanded use the := operator # undefined via #undef or recursively expanded use the := operator
# instead of the = operator. # instead of the = operator.
PREDEFINED = PREDEFINED = DOXYGEN_RUNNING
# If the MACRO_EXPANSION and EXPAND_ONLY_PREDEF tags are set to YES then # If the MACRO_EXPANSION and EXPAND_ONLY_PREDEF tags are set to YES then
# this tag can be used to specify a list of macro names that should be expanded. # this tag can be used to specify a list of macro names that should be expanded.

View File

@ -52,6 +52,18 @@ h1.groupheader {
font-size: 150%; font-size: 150%;
} }
/* enable this to make sections more alike */
/* h2.groupheader { */
/* border-bottom: none; */
/* color: black; */
/* font-size: 100%; */
/* font-weight: bold; */
/* margin-top: 1.75em; */
/* padding-bottom: 0; */
/* padding-top: 0; */
/* width: 100%; */
/* } */
a.el { a.el {
font-weight: normal; font-weight: normal;
} }

View File

@ -41,6 +41,13 @@ def clean_doc():
duplicate_files=glob.glob('./output/CGAL.CGAL.*/html/jquery.js') duplicate_files=glob.glob('./output/CGAL.CGAL.*/html/jquery.js')
duplicate_files.extend(glob.glob('./output/CGAL.CGAL.*/html/dynsections.js')) duplicate_files.extend(glob.glob('./output/CGAL.CGAL.*/html/dynsections.js'))
duplicate_files.extend(glob.glob('./output/CGAL.CGAL.*/html/stylesheet.css')) duplicate_files.extend(glob.glob('./output/CGAL.CGAL.*/html/stylesheet.css'))
# left-over by doxygen?
duplicate_files.extend(glob.glob('./output/CGAL.CGAL.*/bib2xhtml.pl'))
duplicate_files.extend(glob.glob('./output/CGAL.CGAL.*/cgal_manual.bib'))
duplicate_files.extend(glob.glob('./output/CGAL.CGAL.*/citelist.doc'))
duplicate_files.extend(glob.glob('./output/CGAL.CGAL.*/doxygen.bst'))
duplicate_files.extend(glob.glob('./output/CGAL.CGAL.*/geom.bib'))
for fn in duplicate_files: for fn in duplicate_files:
os.remove(fn) os.remove(fn)

View File

@ -716,11 +716,15 @@ namespace for the XML file to be processed properly. -->
<project> <project>
<name>3D Minkowski Sum of Polyhedra</name> <name>3D Minkowski Sum of Polyhedra</name>
<input>../Minkowski_sum_3/doc/Minkowski_sum_3</input> <input>../Minkowski_sum_3/doc/Minkowski_sum_3</input>
<input>../Minkowski_sum_3/include/</input>
<doxygen> <doxygen>
<string name="STRIP_FROM_INC_PATH">../Minkowski_sum_3/doc/Minkowski_sum_3/</string> <string name="STRIP_FROM_PATH">../Minkowski_sum_3/include/</string>
<string name="GENERATE_TAGFILE">./tags/Minkowski_sum_3.tag</string> <string name="GENERATE_TAGFILE">./tags/Minkowski_sum_3.tag</string>
<string name="EXAMPLE_PATH">../Minkowski_sum_3/examples</string> <string name="EXAMPLE_PATH">../Minkowski_sum_3/examples</string>
<string name="IMAGE_PATH">../Minkowski_sum_3/doc/Minkowski_sum_3/fig</string> <string name="IMAGE_PATH">../Minkowski_sum_3/doc/Minkowski_sum_3/fig</string>
<bool name="HIDE_UNDOC_MEMBERS">true</bool>
<bool name="HIDE_UNDOC_CLASSES">true</bool>
<bool name="EXTRACT_ALL">false</bool>
<list name="TAGFILES" append="true"> <list name="TAGFILES" append="true">
<item>./tags/Nef_3.tag=../../CGAL.CGAL.3D-Boolean-Operations-on-Nef-Polyhedra/html</item> <item>./tags/Nef_3.tag=../../CGAL.CGAL.3D-Boolean-Operations-on-Nef-Polyhedra/html</item>
<item>./tags/Convex_decomposition_3.tag=../../CGAL.CGAL.Convex-Decomposition-of-Polyhedra/html</item> <item>./tags/Convex_decomposition_3.tag=../../CGAL.CGAL.Convex-Decomposition-of-Polyhedra/html</item>
@ -1537,6 +1541,7 @@ namespace for the XML file to be processed properly. -->
<list name="HTML_EXTRA_FILES" append="true"> <list name="HTML_EXTRA_FILES" append="true">
<item>jquery.footnotes.min.js</item> <item>jquery.footnotes.min.js</item>
<item>hacks.js</item> <item>hacks.js</item>
<item>cgal_stylesheet.css</item>
</list> </list>
</doxygen> </doxygen>
</project> </project>

View File

@ -17,8 +17,8 @@ h1.groupheader {
} }
h2.groupheader { h2.groupheader {
border-bottom: 1px solid #9C92AF; border-bottom: 1px solid #879ECB;
color: #494159; color: #354C7B;
font-size: 150%; font-size: 150%;
font-weight: normal; font-weight: normal;
margin-top: 1.75em; margin-top: 1.75em;
@ -88,8 +88,8 @@ h3.version {
} }
div.qindex, div.navtab{ div.qindex, div.navtab{
background-color: #EEEDF2; background-color: #EBEFF6;
border: 1px solid #B2ABC1; border: 1px solid #A3B4D7;
text-align: center; text-align: center;
} }
@ -105,13 +105,13 @@ div.navtab {
/* @group Link Styling */ /* @group Link Styling */
a { a {
color: #554B67; color: #3D578C;
font-weight: normal; font-weight: normal;
text-decoration: none; text-decoration: none;
} }
.contents a:visited { .contents a:visited {
color: #64597A; color: #4665A2;
} }
a:hover { a:hover {
@ -124,9 +124,9 @@ a.qindex {
a.qindexHL { a.qindexHL {
font-weight: bold; font-weight: bold;
background-color: #ACA4BD; background-color: #9CAFD4;
color: #ffffff; color: #ffffff;
border: 1px double #9B91AE; border: 1px double #869DCA;
} }
.contents a.qindexHL:visited { .contents a.qindexHL:visited {
@ -170,8 +170,8 @@ pre.fragment {
div.fragment { div.fragment {
padding: 4px; padding: 4px;
margin: 4px; margin: 4px;
background-color: #FCFBFC; background-color: #FBFCFD;
border: 1px solid #CEC9D7; border: 1px solid #C4CFE5;
} }
div.line { div.line {
@ -264,9 +264,9 @@ div.contents {
} }
td.indexkey { td.indexkey {
background-color: #EEEDF2; background-color: #EBEFF6;
font-weight: bold; font-weight: bold;
border: 1px solid #CEC9D7; border: 1px solid #C4CFE5;
margin: 2px 0px 2px 0; margin: 2px 0px 2px 0;
padding: 2px 10px; padding: 2px 10px;
white-space: nowrap; white-space: nowrap;
@ -274,14 +274,14 @@ td.indexkey {
} }
td.indexvalue { td.indexvalue {
background-color: #EEEDF2; background-color: #EBEFF6;
border: 1px solid #CEC9D7; border: 1px solid #C4CFE5;
padding: 2px 10px; padding: 2px 10px;
margin: 2px 0px; margin: 2px 0px;
} }
tr.memlist { tr.memlist {
background-color: #F0EFF3; background-color: #EEF1F7;
} }
p.formulaDsp { p.formulaDsp {
@ -364,8 +364,8 @@ span.vhdllogic {
} }
blockquote { blockquote {
background-color: #F8F7F9; background-color: #F7F8FB;
border-left: 2px solid #ACA4BD; border-left: 2px solid #9CAFD4;
margin: 0 24px 0 4px; margin: 0 24px 0 4px;
padding: 0 12px 0 16px; padding: 0 12px 0 16px;
} }
@ -398,18 +398,18 @@ td.tiny {
.dirtab { .dirtab {
padding: 4px; padding: 4px;
border-collapse: collapse; border-collapse: collapse;
border: 1px solid #B2ABC1; border: 1px solid #A3B4D7;
} }
th.dirtab { th.dirtab {
background: #EEEDF2; background: #EBEFF6;
font-weight: bold; font-weight: bold;
} }
hr { hr {
height: 0px; height: 0px;
border: none; border: none;
border-top: 1px solid #695E81; border-top: 1px solid #4A6AAA;
} }
hr.footer { hr.footer {
@ -444,7 +444,7 @@ table.memberdecls {
.mdescLeft, .mdescRight, .mdescLeft, .mdescRight,
.memItemLeft, .memItemRight, .memItemLeft, .memItemRight,
.memTemplItemLeft, .memTemplItemRight, .memTemplParams { .memTemplItemLeft, .memTemplItemRight, .memTemplParams {
background-color: #FAF9FB; background-color: #F9FAFC;
border: none; border: none;
margin: 4px; margin: 4px;
padding: 1px 0 0 8px; padding: 1px 0 0 8px;
@ -471,7 +471,7 @@ table.memberdecls {
} }
.memTemplParams { .memTemplParams {
color: #64597A; color: #4665A2;
white-space: nowrap; white-space: nowrap;
font-size: 80%; font-size: 80%;
} }
@ -484,14 +484,14 @@ table.memberdecls {
.memtemplate { .memtemplate {
font-size: 80%; font-size: 80%;
color: #64597A; color: #4665A2;
font-weight: normal; font-weight: normal;
margin-left: 9px; margin-left: 9px;
} }
.memnav { .memnav {
background-color: #EEEDF2; background-color: #EBEFF6;
border: 1px solid #B2ABC1; border: 1px solid #A3B4D7;
text-align: center; text-align: center;
margin: 2px; margin: 2px;
margin-right: 15px; margin-right: 15px;
@ -529,16 +529,16 @@ table.memberdecls {
} }
.memproto, dl.reflist dt { .memproto, dl.reflist dt {
border-top: 1px solid #B6AFC5; border-top: 1px solid #A8B8D9;
border-left: 1px solid #B6AFC5; border-left: 1px solid #A8B8D9;
border-right: 1px solid #B6AFC5; border-right: 1px solid #A8B8D9;
padding: 6px 0px 6px 0px; padding: 6px 0px 6px 0px;
color: #302B3B; color: #253555;
font-weight: bold; font-weight: bold;
text-shadow: 0px 1px 1px rgba(255, 255, 255, 0.9); text-shadow: 0px 1px 1px rgba(255, 255, 255, 0.9);
background-image:url('nav_f.png'); background-image:url('nav_f.png');
background-repeat:repeat-x; background-repeat:repeat-x;
background-color: #E7E4EB; background-color: #E2E8F2;
/* opera specific markup */ /* opera specific markup */
box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15); box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
border-top-right-radius: 4px; border-top-right-radius: 4px;
@ -555,11 +555,11 @@ table.memberdecls {
} }
.memdoc, dl.reflist dd { .memdoc, dl.reflist dd {
border-bottom: 1px solid #B6AFC5; border-bottom: 1px solid #A8B8D9;
border-left: 1px solid #B6AFC5; border-left: 1px solid #A8B8D9;
border-right: 1px solid #B6AFC5; border-right: 1px solid #A8B8D9;
padding: 6px 10px 2px 10px; padding: 6px 10px 2px 10px;
background-color: #FCFBFC; background-color: #FBFCFD;
border-top-width: 0; border-top-width: 0;
background-image:url('nav_g.png'); background-image:url('nav_g.png');
background-repeat:repeat-x; background-repeat:repeat-x;
@ -646,11 +646,11 @@ span.mlabels {
} }
span.mlabel { span.mlabel {
background-color: #8B7FA2; background-color: #728DC1;
border-top:1px solid #73668C; border-top:1px solid #5373B4;
border-left:1px solid #73668C; border-left:1px solid #5373B4;
border-right:1px solid #CEC9D7; border-right:1px solid #C4CFE5;
border-bottom:1px solid #CEC9D7; border-bottom:1px solid #C4CFE5;
text-shadow: none; text-shadow: none;
color: white; color: white;
margin-right: 4px; margin-right: 4px;
@ -707,7 +707,7 @@ div.directory {
.directory tr.even { .directory tr.even {
padding-left: 6px; padding-left: 6px;
background-color: #F8F7F9; background-color: #F7F8FB;
} }
.directory img { .directory img {
@ -725,7 +725,7 @@ div.directory {
cursor: pointer; cursor: pointer;
padding-left: 2px; padding-left: 2px;
padding-right: 2px; padding-right: 2px;
color: #554B67; color: #3D578C;
} }
div.dynheader { div.dynheader {
@ -740,7 +740,7 @@ div.dynheader {
address { address {
font-style: normal; font-style: normal;
color: #383245; color: #2A3D61;
} }
table.doxtable { table.doxtable {
@ -750,12 +750,12 @@ table.doxtable {
} }
table.doxtable td, table.doxtable th { table.doxtable td, table.doxtable th {
border: 1px solid #3C364A; border: 1px solid #2D4068;
padding: 3px 7px 2px; padding: 3px 7px 2px;
} }
table.doxtable th { table.doxtable th {
background-color: #4C445D; background-color: #374F7F;
color: #FFFFFF; color: #FFFFFF;
font-size: 110%; font-size: 110%;
padding-bottom: 4px; padding-bottom: 4px;
@ -765,7 +765,7 @@ table.doxtable th {
table.fieldtable { table.fieldtable {
width: 100%; width: 100%;
margin-bottom: 10px; margin-bottom: 10px;
border: 1px solid #B6AFC5; border: 1px solid #A8B8D9;
border-spacing: 0px; border-spacing: 0px;
-moz-border-radius: 4px; -moz-border-radius: 4px;
-webkit-border-radius: 4px; -webkit-border-radius: 4px;
@ -781,13 +781,13 @@ table.fieldtable {
.fieldtable td.fieldtype, .fieldtable td.fieldname { .fieldtable td.fieldtype, .fieldtable td.fieldname {
white-space: nowrap; white-space: nowrap;
border-right: 1px solid #B6AFC5; border-right: 1px solid #A8B8D9;
border-bottom: 1px solid #B6AFC5; border-bottom: 1px solid #A8B8D9;
vertical-align: top; vertical-align: top;
} }
.fieldtable td.fielddoc { .fieldtable td.fielddoc {
border-bottom: 1px solid #B6AFC5; border-bottom: 1px solid #A8B8D9;
width: 100%; width: 100%;
} }
@ -806,9 +806,9 @@ table.fieldtable {
.fieldtable th { .fieldtable th {
background-image:url('nav_f.png'); background-image:url('nav_f.png');
background-repeat:repeat-x; background-repeat:repeat-x;
background-color: #E7E4EB; background-color: #E2E8F2;
font-size: 90%; font-size: 90%;
color: #302B3B; color: #253555;
padding-bottom: 4px; padding-bottom: 4px;
padding-top: 5px; padding-top: 5px;
text-align:left; text-align:left;
@ -818,7 +818,7 @@ table.fieldtable {
-webkit-border-top-right-radius: 4px; -webkit-border-top-right-radius: 4px;
border-top-left-radius: 4px; border-top-left-radius: 4px;
border-top-right-radius: 4px; border-top-right-radius: 4px;
border-bottom: 1px solid #B6AFC5; border-bottom: 1px solid #A8B8D9;
} }
@ -840,8 +840,8 @@ table.fieldtable {
background-position: 0 -5px; background-position: 0 -5px;
height:30px; height:30px;
line-height:30px; line-height:30px;
color:#9E94B1; color:#8AA0CC;
border:solid 1px #CCC7D6; border:solid 1px #C2CDE4;
overflow:hidden; overflow:hidden;
margin:0px; margin:0px;
padding:0px; padding:0px;
@ -856,7 +856,7 @@ table.fieldtable {
background-image:url('bc_s.png'); background-image:url('bc_s.png');
background-repeat:no-repeat; background-repeat:no-repeat;
background-position:right; background-position:right;
color:#4A425A; color:#364D7C;
} }
.navpath li.navelem a .navpath li.navelem a
@ -865,7 +865,7 @@ table.fieldtable {
display:block; display:block;
text-decoration: none; text-decoration: none;
outline: none; outline: none;
color: #352F41; color: #283A5D;
font-family: 'Lucida Grande',Geneva,Helvetica,Arial,sans-serif; font-family: 'Lucida Grande',Geneva,Helvetica,Arial,sans-serif;
text-shadow: 0px 1px 1px rgba(255, 255, 255, 0.9); text-shadow: 0px 1px 1px rgba(255, 255, 255, 0.9);
text-decoration: none; text-decoration: none;
@ -873,7 +873,7 @@ table.fieldtable {
.navpath li.navelem a:hover .navpath li.navelem a:hover
{ {
color:#82769B; color:#6884BD;
} }
.navpath li.footer .navpath li.footer
@ -885,7 +885,7 @@ table.fieldtable {
background-image:none; background-image:none;
background-repeat:no-repeat; background-repeat:no-repeat;
background-position:right; background-position:right;
color:#4A425A; color:#364D7C;
font-size: 8pt; font-size: 8pt;
} }
@ -920,9 +920,9 @@ div.header
{ {
background-image:url('nav_h.png'); background-image:url('nav_h.png');
background-repeat:repeat-x; background-repeat:repeat-x;
background-color: #FAF9FB; background-color: #F9FAFC;
margin: 0px; margin: 0px;
border-bottom: 1px solid #CEC9D7; border-bottom: 1px solid #C4CFE5;
} }
div.headertitle div.headertitle
@ -932,7 +932,7 @@ div.headertitle
dl dl
{ {
padding: 0 0 0 0; padding: 0 0 0 10px;
} }
/* dl.note, dl.warning, dl.attention, dl.pre, dl.post, dl.invariant, dl.deprecated, dl.todo, dl.test, dl.bug */ /* dl.note, dl.warning, dl.attention, dl.pre, dl.post, dl.invariant, dl.deprecated, dl.todo, dl.test, dl.bug */
@ -1041,7 +1041,7 @@ dl.section dd {
padding: 0px; padding: 0px;
margin: 0px; margin: 0px;
width: 100%; width: 100%;
border-bottom: 1px solid #73668C; border-bottom: 1px solid #5373B4;
} }
.image .image
@ -1066,7 +1066,7 @@ dl.section dd {
div.zoom div.zoom
{ {
border: 1px solid #A399B5; border: 1px solid #90A5CE;
} }
dl.citelist { dl.citelist {
@ -1074,7 +1074,7 @@ dl.citelist {
} }
dl.citelist dt { dl.citelist dt {
color:#453D55; color:#334975;
float:left; float:left;
font-weight:bold; font-weight:bold;
margin-right:10px; margin-right:10px;
@ -1088,8 +1088,8 @@ dl.citelist dd {
div.toc { div.toc {
padding: 14px 25px; padding: 14px 25px;
background-color: #F6F5F8; background-color: #F4F6FA;
border: 1px solid #DEDBE5; border: 1px solid #D8DFEE;
border-radius: 7px 7px 7px 7px; border-radius: 7px 7px 7px 7px;
float: right; float: right;
height: auto; height: auto;
@ -1107,7 +1107,7 @@ div.toc li {
div.toc h3 { div.toc h3 {
font: bold 12px/1.2 Arial,FreeSans,sans-serif; font: bold 12px/1.2 Arial,FreeSans,sans-serif;
color: #64597A; color: #4665A2;
border-bottom: 0 none; border-bottom: 0 none;
margin: 0; margin: 0;
} }
@ -1177,3 +1177,4 @@ tr.heading h2 {
display:inline; display:inline;
} }
} }