ドキュメントを修正した。

[pghintplan/pg_hint_plan.git] / doc / style.css

diff --git a/doc/style.css b/doc/style.css
index 6345215..f1e2e4c 100644 (file)
--- a/doc/style.css
+++ b/doc/style.css
@@ -90,19 +90,10 @@ span.strong {
 }
 
 div.tips{
-  border: solid black 1px;
-  background: #DCDCDC;
-  line-height: 1.1em; padding: 0.5em;
-  font-family: 'メイリオ';
-}
-
-pre.tips {
-       font-family: courier,sans-serif;
-       background-color: #E3E3E3;
-       border: 1px dashed #7E7ECB;
-       color: black;
-       line-height: 1.1em; padding: 0.5em;
-       overflow: auto;
+       font-size: small;
+       border: 1px solid #aaa;
+       background-color: #EFEFEF;
+       line-height: 1.1em; padding: 0.5em; margin: 0em 2em;
 }
 
 span.bold {