add Miri blog post

[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;
 $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;
 
 
 $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;
 $light-text-color:       #808080;

-$code-background-color:  #F7F7F7;
+$code-background-color:  #F0F0F0;

 $link-color:             #237fbf;
 $light-link-color:       #69a7d2;
 
 $link-color:             #237fbf;
 $light-link-color:       #69a7d2;