srctree

Gregory Mullen parent 0dfeffd2 dbc1cc63
I hate web development

inlinesplit
static/main.css added: 12, removed: 12, total 0
@@ -54,17 +54,17 @@ header {
font-size: 300%;
margin: 0 0 16px 0;
}
a {
font-size: 108%;
padding: 0 1rem;
border-bottom: #7a003f solid 2px;
border-radius: 0 0 2px 2px;
}
> ul {
display: flex;
justify-content: space-between;
> li {
padding: 0 0.3rem;
margin: 0 0.3rem;
border-bottom: #7a003f solid 2px;
border-radius: 0 0 2px 2px;
a {
font-size: 108%;
padding: 0 1rem;
}
}
}
}
 
templates/_nav.html added: 12, removed: 12, total 0
@@ -1,6 +1,6 @@
<li><a href="/repos">repos</a></li>
<li><a href="/user">owner</a></li>
<li><a href="/network">network</a></li>
<li><a href="/repos">repos<sup></sup></a></li>
<li><a href="/user">owner<sup></sup></a></li>
<li><a href="/network">network<sup></sup></a></li>
<For NavButtons>
<li><a href="<Url>"><Name /><sup><Extra type="?usize" /></sup></a></li>
</For>