diff options
| -rw-r--r-- | docs/doxygen.css | 19 |
1 files changed, 15 insertions, 4 deletions
diff --git a/docs/doxygen.css b/docs/doxygen.css index 41aa74cf28..bbd6a6eb3e 100644 --- a/docs/doxygen.css +++ b/docs/doxygen.css @@ -77,8 +77,19 @@ span.charliteral { color: #008080 } vertical-align: middle; } .title { - font-size: 105% - font-weight: bold; - text-decoration: underline; - text-align: center; + color: black; background: url("img/lines.gif"); + font-family: "Georgia,Palatino,Times,Roman"; font-weight: bold; + border-width: 1px; + border-style: solid none solid none; + text-align: center; + vertical-align: middle; + padding-left: 8pt; + padding-top: 1px; + padding-bottom: 2px +/* + font-size: 105% + font-weight: bold; + text-decoration: underline; + text-align: center; +*/ } |