link to paper that also mentions this (but does not give many details)

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

diff --git a/personal/_sass/_layout.scss b/personal/_sass/_layout.scss
index 4ac6bb219cb21624cf8fe802ddefcccf3e9fa642..8859ce17d1e4d4f9c8898562320e3314fe0b1ce5 100644 (file)
--- a/personal/_sass/_layout.scss
+++ b/personal/_sass/_layout.scss
@@ -11,18 +11,26 @@ body { /* This centers us in the page, and handles the "too wide" case */
 }
 #-frame { /* Add a frame, full height */
     margin: 0 $navi-width;
 }
 #-frame { /* Add a frame, full height */
     margin: 0 $navi-width;

-    padding-top: $outer-margin;
+    padding-top: $outer-margin; /* distance of top to window border */
+    padding-bottom: $outer-margin; /* distance of page-bottom to window border */

     border-left: solid $text-color 1px;
     border-left: solid $text-color 1px;

-    min-height: calc(100vh - #{$outer-margin});
+    min-height: calc(100vh - #{2*$outer-margin});

 }
 
 /* The content of the frame */
 #-content {
     margin-left: $intrusion-width;
 }
 
 /* The content of the frame */
 #-content {
     margin-left: $intrusion-width;

-    padding: $outer-margin;
+    padding-left: $outer-margin; /* Distance to the end of the intrusion */
+    padding-right: $outer-margin; /* Distance to the end of the window */

     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;


@@ -92,12 +100,13 @@ 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 {
     }
     #-content {

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

     }
     #-navi {
     }
     #-navi {

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

         border-bottom: solid $text-color 1px;
 
         ul {
         border-bottom: solid $text-color 1px;
 
         ul {


@@ -136,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;


@@ -150,3 +162,33 @@ body { /* This centers us in the page, and handles the "too wide" case */
         display: none;
     }
 }
         display: none;
     }
 }

+
+/* Title and Title-asides spacing */
+.side {
+    float: right;
+}
+.subtitle {
+    margin-top: 2em;
+    
+    h1, h2 {
+        display: inline-block;
+        margin: 0;
+    }
+    .side {
+        margin-left: 0.5em;
+        margin-top: 0.45em;
+    }
+}
+.title {
+    margin-top: 0.2em;
+    margin-bottom: 1.2em;
+    
+    h1, h2 {
+        display: inline-block;
+        margin: 0;
+    }
+    .side {
+        margin-left: 0.5em;
+        margin-top: 0.8em;
+    }
+}