mirror of
https://github.com/wez/wezterm.git
synced 2024-12-27 23:46:31 +03:00
b0f2edd711
I'm committing this because it captures a repro for the situation described across these two issues: Refs: https://github.com/jekyll/jekyll-archives/issues/28 Refs: https://github.com/jekyll/jekyll/issues/6209 This commit has a workaround in place; to demonstrate the problem, change this line of `_layouts/default.html`: ``` {% include toc.html sanitize=true baseurl=p.url html=p_content %} ``` to: ``` {% include toc.html sanitize=true baseurl=p.url html=p.content %} ``` Then navigate to various pages: the TOC in the LHS inconsistently shows headers from different pages depending on the current page.
73 lines
2.0 KiB
SCSS
73 lines
2.0 KiB
SCSS
---
|
|
---
|
|
|
|
@import "{{ site.theme }}";
|
|
|
|
.btn {
|
|
-moz-box-shadow:inset 0px 1px 0px 0px #e184f3;
|
|
-webkit-box-shadow:inset 0px 1px 0px 0px #e184f3;
|
|
box-shadow:inset 0px 1px 0px 0px #e184f3;
|
|
background:-webkit-gradient(linear, left top, left bottom, color-stop(0.05, #c123de), color-stop(1, #a20dbd));
|
|
background:-moz-linear-gradient(top, #c123de 5%, #a20dbd 100%);
|
|
background:-webkit-linear-gradient(top, #c123de 5%, #a20dbd 100%);
|
|
background:-o-linear-gradient(top, #c123de 5%, #a20dbd 100%);
|
|
background:-ms-linear-gradient(top, #c123de 5%, #a20dbd 100%);
|
|
background:linear-gradient(to bottom, #c123de 5%, #a20dbd 100%);
|
|
filter:progid:DXImageTransform.Microsoft.gradient(startColorstr='#c123de', endColorstr='#a20dbd',GradientType=0);
|
|
background-color:#c123de;
|
|
-moz-border-radius:6px;
|
|
-webkit-border-radius:6px;
|
|
border-radius:6px;
|
|
border:1px solid #a511c0;
|
|
display:inline-block;
|
|
cursor:pointer;
|
|
color:#ffffff;
|
|
font-weight:bold;
|
|
padding:0.25em 1em;
|
|
text-decoration:none;
|
|
text-shadow:0px 1px 0px #9b14b3;
|
|
}
|
|
.btn:hover {
|
|
background:-webkit-gradient(linear, left top, left bottom, color-stop(0.05, #a20dbd), color-stop(1, #c123de));
|
|
background:-moz-linear-gradient(top, #a20dbd 5%, #c123de 100%);
|
|
background:-webkit-linear-gradient(top, #a20dbd 5%, #c123de 100%);
|
|
background:-o-linear-gradient(top, #a20dbd 5%, #c123de 100%);
|
|
background:-ms-linear-gradient(top, #a20dbd 5%, #c123de 100%);
|
|
background:linear-gradient(to bottom, #a20dbd 5%, #c123de 100%);
|
|
filter:progid:DXImageTransform.Microsoft.gradient(startColorstr='#a20dbd', endColorstr='#c123de',GradientType=0);
|
|
background-color:#a20dbd;
|
|
}
|
|
.btn:active {
|
|
position:relative;
|
|
top:1px;
|
|
}
|
|
svg.octicon {
|
|
margin-right: 0.25em;
|
|
}
|
|
a.btn svg {
|
|
fill: white;
|
|
}
|
|
|
|
#toc {
|
|
width: 250px;
|
|
position: fixed;
|
|
background-color: #eee;
|
|
border: solid 1px #ddd;
|
|
padding: 1.1em;
|
|
overflow-y: auto;
|
|
max-height: 100%;
|
|
}
|
|
|
|
#toc li {
|
|
list-style: square;
|
|
}
|
|
|
|
#toc ul li {
|
|
margin-left: 1em;
|
|
}
|
|
|
|
#container {
|
|
margin-left: 250px;
|
|
}
|
|
|