From 80756e15a46449dc42122e69e17034bbc9ecbfed Mon Sep 17 00:00:00 2001 From: j8takagi Date: Sun, 14 Jul 2013 23:37:37 +0900 Subject: [PATCH] =?utf8?q?=E3=83=9E=E3=83=8B=E3=83=A5=E3=82=A2=E3=83=AB?= =?utf8?q?=E3=81=AE=E3=82=B9=E3=82=BF=E3=82=A4=E3=83=AB=E3=82=92=E4=BF=AE?= =?utf8?q?=E6=AD=A3?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit --- VERSION | 2 +- doc/style.css | 16 ++++++++++++++++ 2 files changed, 17 insertions(+), 1 deletion(-) diff --git a/VERSION b/VERSION index 590fd79..6048393 100644 --- a/VERSION +++ b/VERSION @@ -1,2 +1,2 @@ -0.2p4 +0.2p5 diff --git a/doc/style.css b/doc/style.css index d117590..04bfa1f 100644 --- a/doc/style.css +++ b/doc/style.css @@ -20,6 +20,10 @@ h1, h2 { background-color: #DDF; } +table.menu, table.menu th, table.menu td { + border-style: none; +} + h2 { padding: 0.25em; color: white; @@ -46,6 +50,14 @@ h2 { display: none; } +h1.node-heading { + display: none; +} + +h2.shortcontents-heading{ + display: none; +} + .shortcontents a { margin-right: 1em; } @@ -120,4 +132,8 @@ pre.example strong { dt { font-weight: bold; +} + +dfn { + font-style: normal; } \ No newline at end of file -- 2.18.0