2 /* General page structure */
6 body { /* This centers us in the page, and handles the "too wide" case */
9 background-color: $background-color;
10 max-width: calc(#{$medium-width + $navi-width} + 1px); /* add the right-hand "navi" space for centering - and the border... ;-) */
12 #-frame { /* Add a frame, full height */
13 margin: 0 $navi-width;
14 padding-top: $outer-margin; /* distance of top to window border */
15 padding-bottom: $outer-margin; /* distance of page-bottom to window border */
16 border-left: solid $text-color 1px;
17 min-height: calc(100vh - #{$outer-margin});
20 /* The content of the frame */
22 margin-left: $intrusion-width;
23 padding-left: $outer-margin; /* Distance to the end of the intrusion */
24 padding-right: $outer-margin; /* Distance to the end of the window */
25 padding-top: 1px; /* If we use 0 here, some paddings add up things get ugly. What?!? */
32 margin-left: -#{$navi-indent};
33 width: #{$navi-width + $navi-indent};
34 /* Put it into the right spot */
37 left: calc(-#{$navi-width} - 1px);
38 /* Make it not take space away from the main text */
45 list-style-type: none;
46 /* Indentation for nested nodes */
47 margin-left: $navi-indent;
51 width: calc(100% - 2*0.25em - 1px + #{$intrusion-width}); /* minus the padding, the border, and plus how much we want to overlap */
52 padding: 0.08em 0.25em 0.02em; /* top left-right bottom */
53 /* Always have *one* border, for the width to stay constant */
54 border-left: solid transparent 1px;
61 border: solid $text-color 1px;
62 border-right: none; /* solid $background-color 1px; */
63 background-color: $background-color;
67 border-bottom: solid $text-color 1px;
72 /* Medium-size screens */
73 @media screen and (max-width:#{ $medium-width + $navi-width } ) {
76 max-width: calc(#{ $medium-width} + 1px); /* add the left-hand *only* navi space for centering - and the border... ;-) */
84 @media screen and (max-width:#{ $small-width } ) {
88 body, #-frame, #-content, #-navi {
99 padding: #{ $outer-margin * 0.75 };
102 padding: #{ $outer-margin * 0.75 };
103 border-bottom: solid $text-color 1px;
111 display: inline-block;
113 /* Display only parent and children, and decorate them appropriately */
115 display:inline-block;
116 margin: 0 0.3em !important;
117 padding: 0 !important;
118 border: none !important;
119 width: auto !important;
125 text-decoration: underline;
127 li.parent::before, li.current:before {
133 li.child + li.child::before {
141 body, #-frame, #-content {
156 /* Title and Title-asides spacing */
164 display: inline-block;
174 margin-bottom: 1.2em;
177 display: inline-block;