diff options
Diffstat (limited to 'src/Headers.c')
| -rw-r--r-- | src/Headers.c | 46 |
1 files changed, 23 insertions, 23 deletions
diff --git a/src/Headers.c b/src/Headers.c index f24ac49..cf92f45 100644 --- a/src/Headers.c +++ b/src/Headers.c @@ -49,31 +49,31 @@ struct httpLink static const char *cactus_styles = "<style type=\"text/css\">\n" -" body { color: black; background-color: white; }\n" -" h1, h2 { text-align: center; }\n" -" dfn { font-style: italic; }\n" -" td { vertical-align: top; }\n" -" a:link { color: #1B831D; }\n" -" a:visited { color: #768000; }\n" -" a:active { color: green; }\n" -" div.centered { text-align: center; } \n" -" div.centered table { margin: auto; } \n" -" span.hilite { color: red; } \n" -" td.menu { color: black; background-color: #E5FFA2; \n" -" text-align: left; vertical-align: top; width: 20ex; \n" -" font-size: small; }\n" -" td.menu h2 { font-weight: normal; font-size: medium; \n" +" body { color: black; background-color: white; }\n" +" h1, h2 { text-align: center; }\n" +" dfn { font-style: italic; }\n" +" td { vertical-align: top; }\n" +" a:link { color: #1B831D; }\n" +" a:visited { color: #768000; }\n" +" a:active { color: green; }\n" +" div.centered { text-align: center; } \n" +" div.centered table { margin: auto; } \n" +" span.hilite { color: red; } \n" +" td.menu { color: black; background-color: #E5FFA2; \n" +" text-align: left; vertical-align: top; width: 20ex; \n" +" font-size: small; }\n" +" td.menu h2 { font-weight: normal; font-size: medium; \n" " text-align: left; margin-top: 0; } \n" -" td.menu h3 { font-weight: bold; font-size: small; \n" +" td.menu h3 { font-weight: bold; font-size: small; \n" " margin-top: 1.2em; margin-bottom: 0; } \n" -" td.menu span.simulation_name { font-style: italic; } \n" -" td.menu kbd { font-family: monospace; font-style: normal; } \n" -" .footer td { font-size: small; vertical-align: top; } \n" -" .footer td.by { text-align: right; } \n" -" .footer img { border: 0; } \n" -" div.banner { text-align: center; } \n" -" div.banner table { margin: auto; } \n" -" div.banner img { border: 0; } \n" +" td.menu span.simulation_name { font-style: italic; } \n" +" td.menu kbd { font-family: monospace; font-style: normal; } \n" +" .footer td { font-size: small; vertical-align: top; } \n" +" .footer td.by { text-align: right; } \n" +" .footer img { border: 0; } \n" +" div.banner { text-align: center; } \n" +" div.banner table { margin: auto; } \n" +" div.banner img { border: 0; } \n" "</style>\n"; static const char *cactus_footer = |