- left: -#{$navi-width};
- margin-bottom: calc(-100% - #{$frame-max-width});
-}
-#navi ul {
- margin: 0px;
- padding: 0px;
- list-style-type: none;
-}
-#navi ul ul {
- /* Indentation for nested nodes */
- margin-left: 1.2em;
-}
-#navi li {
- /* Border around the links */
- margin-bottom:0.1em;
- background-color: $inner-background-color;
- border-left: solid $navi-color 2px;
- border-right: solid $navi-color 2px;
- border-top-left-radius: 10px;
- border-bottom-left-radius: 10px;
-}
-#navi li a {
- display: block;
- width: 100%;
+ left: calc(-#{$navi-width} - 1px);
+ /* Make it not take space away from the main text */
+ height: 0;
+ overflow: visible;
+
+ ul {
+ margin: 0;
+ padding: 0;
+ list-style-type: none;
+ /* Indentation for nested nodes */
+ margin-left: $navi-indent;
+ }
+ a {
+ display: block;
+ width: calc(100% - 2*0.1em - 1px + #{$intrusion-width}); /* minus the padding, the border, and plus how much we want to overlap */
+ padding: 0.08em 0.1em 0.02em; /* top left-right bottom */
+ /* Always have *one* border, for the width to stay constant */
+ border-left: solid transparent 1px;