fix pin API doc links

[web.git] / personal / style.scss

diff --git a/personal/style.scss b/personal/style.scss
index ff9ad1b9d2dafa91c69461e4c175d9d852662966..54197a26584a0b7b92c72dc25ba0f6f6c2e4b13a 100644 (file)
--- a/personal/style.scss
+++ b/personal/style.scss
@@ -8,15 +8,15 @@ $navi-width:      11em;
 $navi-indent:     1.2em;
 $frame-max-width: 50em;
 $intrusion-width: 1.0em;
-$outer-margin:    0.8em;
+$outer-margin:    1.1em;
 
 $small-width:      $frame-max-width + 2*$outer-margin;
 $medium-width:     $small-width + $intrusion-width + $navi-width;
 
-$background-color:       white;
-$text-color:             #313131;
+$background-color:       #fafafa;
+$text-color:             #303030;
 $light-text-color:       #808080;
-$code-background-color:  #F7F7F7;
+$code-background-color:  #F0F0F0;
 $link-color:             #237fbf;
 $light-link-color:       #69a7d2;