Mon Dec 08 2025
Tucker McKnight <tucker@pangolin.lan>
Some style changes; add syntax highlighting JS and branch dropdown
1a4fbe8feab150a334e1cefb04fa6136fcb4cea3
24
24
<link href="https://unpkg.com/prismjs@1.20.0/themes/prism.css" rel="stylesheet" />
37
<nav class="navbar navbar-expand justify-content-center">
37
38
39
40
41
42
43
44
45
46
47
48
49
50
<li class="nav-item">
<span class="nav-link d-inline-block">Branch:</span>
<div class="dropdown-center d-inline-block">
<button class="branches nav-link d-inline-block btn dropdown-toggle" data-bs-toggle="dropdown" aria-expanded="false">
main
</button>
<ul class="dropdown-menu">
<li><a class="dropdown-item" href="#">Action</a></li>
<li><a class="dropdown-item" href="#">Another action</a></li>
<li><a class="dropdown-item" href="#">Something else here</a></li>
</ul>
</div>
</li>
<nav class="navbar navbar-expand">
87
88
89
90
91
<div style="background: #DBE0AA; width: 25%;" class="language-percent"></div>
<div style="background: #91B7F5; width: 15%;" class="language-percent"></div>
<div style="background: #E0473B; width: 10%;" class="language-percent"></div>
<div style="background: #DBE0AA; width: 33%;" class="language-percent"></div>
<div style="background: #91B7F5; width: 17%;" class="language-percent"></div>
87
88
89
90
91
<div style="background: #E273FA; width: 25%;" class="language-percent"></div>
<div style="background: #852CDF; width: 15%;" class="language-percent"></div>
<div style="background: #E273FA; width: 10%;" class="language-percent"></div>
<div style="background: #852CDF; width: 33%;" class="language-percent"></div>
<div style="background: #E273FA; width: 17%;" class="language-percent"></div>
124
124
<script src="https://cdn.jsdelivr.net/npm/bootstrap@5.3.8/dist/js/bootstrap.bundle.min.js" integrity="sha384-FKyoEForCGlyvwx9Hj09JcYn3nv7wiPVlz7YYwJrWVcXK/BmnVDxM+D2scQbITxI" crossorigin="anonymous"></script>
10
11
12
$gray: #EFF2E4;
$purple: #B673FA;
$magenta: #E273FA;
10
11
12
13
$gray: #EFF2E4; /* this is... not gray? */
$purple: #852cdf;
$lilac: #E273FA;
$magenta: #FF549B;
79
color: $teal;
79
color: $blue;
104
105
color: $lightblue;
background-color: $lightblue;
104
105
color: $blue;
background-color: $blue;
134
134
135
136
137
.branches, .branches:hover {
border: 1px solid $body-color;
}