projects
/
web.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
mention named opaque types
[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;
+ }
+}