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;
15 border-left: solid $text-color 1px;
16 min-height: calc(100vh - #{$outer-margin});
19 /* The content of the frame */
21 margin-left: $intrusion-width;
22 padding: $outer-margin;
23 padding-top: 1px; /* If we use 0 here, some paddings add up things get ugly. What?!? */
30 margin-left: -#{$navi-indent};
31 width: #{$navi-width + $navi-indent};
32 /* Put it into the right spot */
35 left: calc(-#{$navi-width} - 1px);
36 /* Make it not take space away from the main text */
43 list-style-type: none;
44 /* Indentation for nested nodes */
45 margin-left: $navi-indent;
49 width: calc(100% - 2*0.25em - 1px + #{$intrusion-width}); /* minus the padding, the border, and plus how much we want to overlap */
50 padding: 0.08em 0.25em 0.02em; /* top left-right bottom */
51 /* Always have *one* border, for the width to stay constant */
52 border-left: solid transparent 1px;
59 border: solid $text-color 1px;
60 border-right: none; /* solid $background-color 1px; */
61 background-color: $background-color;
65 border-bottom: solid $text-color 1px;
70 /* Medium-size screens */
71 @media screen and (max-width:#{ $medium-width + $navi-width } ) {
74 max-width: calc(#{ $medium-width} + 1px); /* add the left-hand *only* navi space for centering - and the border... ;-) */
82 @media screen and (max-width:#{ $small-width } ) {
86 body, #-frame, #-content, #-navi {
97 padding: $outer-margin;
100 padding: $outer-margin;
101 border-bottom: solid $text-color 1px;
109 display: inline-block;
111 /* Display only parent and children, and decorate them appropriately */
113 display:inline-block;
114 margin: 0 0.3em !important;
115 padding: 0 !important;
116 border: none !important;
117 width: auto !important;
123 text-decoration: underline;
125 li.parent::before, li.current:before {
131 li.child + li.child::before {
139 body, #-frame, #-content {