clarify that what miri does not not a reasonable choice for language semantics

[web.git] / personal / _sass / _layout.scss

diff --git a/personal/_sass/_layout.scss b/personal/_sass/_layout.scss
index 299869f088dc67f336116199cbd92be3fdd6a58e..8859ce17d1e4d4f9c8898562320e3314fe0b1ce5 100644 (file)
--- a/personal/_sass/_layout.scss
+++ b/personal/_sass/_layout.scss
@@ -25,6 +25,12 @@ body { /* This centers us in the page, and handles the "too wide" case */
     padding-top: 1px; /* If we use 0 here, some paddings add up things get ugly. What?!? */
 }
 
     padding-top: 1px; /* If we use 0 here, some paddings add up things get ugly. What?!? */
 }
 

+/* The footer */
+#-footer {
+    padding-top: 3em;
+    text-align: center;
+}
+

 /* Navigation menu */
 #-navi {
     padding: 0;
 /* Navigation menu */
 #-navi {
     padding: 0;


@@ -94,6 +100,7 @@ body { /* This centers us in the page, and handles the "too wide" case */
         clear: both;
         float: none;
         position: static;
         clear: both;
         float: none;
         position: static;

+        border: none;

     }
     #-content {
         padding: #{ $outer-margin * 0.75 };
     }
     #-content {
         padding: #{ $outer-margin * 0.75 };


@@ -138,6 +145,9 @@ body { /* This centers us in the page, and handles the "too wide" case */
 
 /* Printing */
 @media print {
 
 /* Printing */
 @media print {

+    body {
+        background-color: white;
+    }

     body, #-frame, #-content {
         margin: 0;
         padding: 0;
     body, #-frame, #-content {
         margin: 0;
         padding: 0;