style.cssの修正

diff --git a/VERSION b/VERSION
index c67cb856a679523e0da6ac3bdee720ecb2af7da3..c1a6256d0c44b10cfe9b266432d19853d3dfbd70 100644 (file)
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-0.2p24
+0.2p25

diff --git a/doc/style.css b/doc/style.css
index 8a4d8b8c24de7c29e987336ccf92aceadc7534b6..1f8b75900e409e1007f7e0e0e24501a62a6e9ef6 100644 (file)
--- a/doc/style.css
+++ b/doc/style.css
@@ -16,8 +16,8 @@ h1, h2 {
 }
 
 .breadcrumbs {
-    padding-bottom: 5%;
-    margin-bottom: 10%;
+    padding-bottom: 1%;
+    margin-bottom: 2%;
     border-bottom: 1px solid #ccc;
     font-size: 90%;
 }
@@ -190,5 +190,5 @@ hr {
 p.nav-panel {
     border-top: 1px solid #ccc;
     border-bottom: 1px solid #ccc;
-    margin-top: 5%;
+    margin-top: 2%;
 }