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 - #{2*$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?!? */
38 margin-left: -#{$navi-indent};
39 width: #{$navi-width + $navi-indent};
40 /* Put it into the right spot */
43 left: calc(-#{$navi-width} - 1px);
44 /* Make it not take space away from the main text */
51 list-style-type: none;
52 /* Indentation for nested nodes */
53 margin-left: $navi-indent;
57 width: calc(100% - 2*0.25em - 1px + #{$intrusion-width}); /* minus the padding, the border, and plus how much we want to overlap */
58 padding: 0.08em 0.25em 0.02em; /* top left-right bottom */
59 /* Always have *one* border, for the width to stay constant */
60 border-left: solid transparent 1px;
67 border: solid $text-color 1px;
68 border-right: none; /* solid $background-color 1px; */
69 background-color: $background-color;
73 border-bottom: solid $text-color 1px;
78 /* Medium-size screens */
79 @media screen and (max-width:#{ $medium-width + $navi-width } ) {
82 max-width: calc(#{ $medium-width} + 1px); /* add the left-hand *only* navi space for centering - and the border... ;-) */
90 @media screen and (max-width:#{ $small-width } ) {
94 body, #-frame, #-content, #-navi {
105 padding: #{ $outer-margin * 0.75 };
108 padding: #{ $outer-margin * 0.75 };
109 border-bottom: solid $text-color 1px;
117 display: inline-block;
119 /* Display only parent and children, and decorate them appropriately */
121 display:inline-block;
122 margin: 0 0.3em !important;
123 padding: 0 !important;
124 border: none !important;
125 width: auto !important;
131 text-decoration: underline;
133 li.parent::before, li.current:before {
139 li.child + li.child::before {
148 background-color: white;
150 body, #-frame, #-content {
165 /* Title and Title-asides spacing */
173 display: inline-block;
183 margin-bottom: 1.2em;
186 display: inline-block;