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;
- min-height: calc(100vh - #{$outer-margin});
+ min-height: calc(100vh - #{2*$outer-margin});
}
/* The content of the frame */
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;
clear: both;
float: none;
position: static;
+ border: none;
}
#-content {
padding: #{ $outer-margin * 0.75 };
/* Printing */
@media print {
+ body {
+ background-color: white;
+ }
body, #-frame, #-content {
margin: 0;
padding: 0;
margin-top: 0.8em;
}
}
+
+/* Images (~350px wide) floating to the right but only if there is enough space */
+.float-right-350 {
+ float: right;
+ margin-left: 0.8em;
+ margin-bottom: 0.3em;
+}
+@media screen and (max-width:600px) {
+ .float-right-350 {
+ max-width: 300px;
+ float: none;
+ margin: auto;
+ }
+}