diff options
Diffstat (limited to 'doc/waf.css')
-rwxr-xr-x | doc/waf.css | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/doc/waf.css b/doc/waf.css new file mode 100755 index 00000000..81f019c2 --- /dev/null +++ b/doc/waf.css @@ -0,0 +1,45 @@ + + +div.tableblock > table { + border: 1px solid gray; +} + +div#header-pic { + background-image: url("images/bg4.jpg"); + background-repeat: no-repeat; + background-color: #cccccc; +} + +a:visited { + color: #8A2908; +} + + +div#header h1 { + background: url('images/trex_logo_64_64.png') no-repeat left center; + padding-left: 80px; + line-height: 80px; + height: 80px; +} + +div.title, caption.title { + text-align: center; + margin-bottom: 0.2em; +} + +div.tableblock > table th { + background-color: #F4F4F4; +} + +h1, h2, h3, h4, h5, h6, span#author, div.title, caption.title, div.admonitionblock .icon, div#toctitle, div.sidebar-title, div.image-title { + color: #333; +} + +body, div.sectionbody, div#toctitle { + font-family: 'Lucida Grande', Verdana, Arial, sans-serif; +} + +.monospaced, code, pre { + font-family: Consolas, 'Liberation Mono', Menlo, Courier, monospace; +} + |