From 642f2ecca9350548c6f260edfcd7e2f58d2de662 Mon Sep 17 00:00:00 2001 From: Jean-Philippe Andre Date: Tue, 11 Feb 2014 15:56:09 +0900 Subject: [PATCH] Doxygen: Use larger fonts Yes, I know. Someone hates large fonts. But the ones currently used are so SMALL! Also, this will just revert back to what's defined in e.css, because body and list font size aren't even consistent. Also, display the page titles like titles: big fat blue letters. --- doc/e.css | 2 ++ doc/img/edoxy.css | 2 ++ 2 files changed, 4 insertions(+) diff --git a/doc/e.css b/doc/e.css index d899c94dc4..2820ce3f10 100644 --- a/doc/e.css +++ b/doc/e.css @@ -379,6 +379,8 @@ p.tiny { color: #aaaaaa; font-size: 10px; } h1, h2, h3, h4, h5, h6 { color: #3399ff; text-shadow: 0px 0px 10px rgba(0.2,0.6,1.0,1.0); } +div.headertitle { color: #3399ff; text-shadow: 0px 0px 10px rgba(0.2,0.6,1.0,1.0); font-size: 24px; font-weight: bold; } + h1 { font-size: 21px; } h2 { font-size: 18px; } diff --git a/doc/img/edoxy.css b/doc/img/edoxy.css index 997a30aab6..ace425bbb5 100644 --- a/doc/img/edoxy.css +++ b/doc/img/edoxy.css @@ -1,7 +1,9 @@ +/* BODY, TD { font-size: 10px; } H1 { font-size: 160%; } H2 { font-size: 120%; } H3 { font-size: 100%; } +*/ CAPTION { font-weight: bold }