1a53e80bf7
Import the theme files into a subdirectory without any changes, even not removing the trailing whitespace, to facilitate updating them in the future. Do not add the theme as a submodule as it's surprisingly big (~12MB) and we don't want to spend extra time on cloning it in each of our CI builds. Using this theme gives a nicer appearance and supports the often requested dark mode. Remove all colour-related options from the existing custom CSS file as they don't work well in dark mode. Also switch to using SVGs with transparent background, rather than PNGs, for the class diagrams, to avoid background colour mismatch in dark mode.
79 lines
1.5 KiB
CSS
79 lines
1.5 KiB
CSS
/* wxWidgets Custom Styles */
|
|
|
|
div.appearance {
|
|
margin: 1em 0em;
|
|
}
|
|
div.appearance table {
|
|
/* this is set to inline-block by the custom CSS theme, override it */
|
|
display: table !important;
|
|
margin: 0.5em 0em;
|
|
width: 100%;
|
|
text-align: center;
|
|
}
|
|
div.appearance img {
|
|
margin: 0.5em;
|
|
}
|
|
div.appearance .caption {
|
|
font-style: italic;
|
|
font-weight: normal;
|
|
font-size: 90%;
|
|
}
|
|
|
|
div.appearance_brief table {
|
|
width: 100%;
|
|
table-layout: fixed;
|
|
text-align: center;
|
|
border-collapse: collapse;
|
|
}
|
|
|
|
div.appearance_brief table td:first-child {
|
|
width: 20em;
|
|
text-align: left;
|
|
padding-left: 2em;
|
|
}
|
|
|
|
div.appearance_brief table td {
|
|
border-style: none solid solid none;
|
|
border-width: 1px;
|
|
border-color: lightblue;
|
|
}
|
|
|
|
|
|
td.green { color: green; }
|
|
td.orange { color: #ff8000; }
|
|
td.red { color: red; }
|
|
|
|
span.literal {
|
|
text-decoration: none;
|
|
font-weight: bold;
|
|
font-family: monospace, fixed;
|
|
}
|
|
|
|
/* we make all the following <span> tags render the text just like
|
|
the standard Doxygen @remarks, @see tags do, to obtain a uniform
|
|
look and feel */
|
|
span.itemdef, span.lib, span.category, span.stdobj, span.styles,
|
|
span.events, span.flags, span.appearance, span.impl, span.avail {
|
|
font-weight: bold;
|
|
line-height: 130%;
|
|
}
|
|
|
|
span.style, span.event, span.flag {
|
|
font-weight: bold;
|
|
}
|
|
|
|
div.styleDesc, div.eventDesc, div.flagDesc {
|
|
margin-left: 3%;
|
|
margin-bottom: 1ex;
|
|
}
|
|
|
|
div.eventHandler {
|
|
margin: 1em;
|
|
text-indent: 3%;
|
|
}
|
|
|
|
div.eventHandler span {
|
|
padding: 5px;
|
|
font-family: monospace, fixed;
|
|
}
|