add pipe nav

This commit is contained in:
2020-07-30 11:07:54 +02:00
parent 62e09ba0eb
commit fc54e18ab9
9 changed files with 201 additions and 14 deletions
@@ -81,6 +81,13 @@ header{
margin-bottom: 0;
li{
margin: 0 0.5rem;
&:not(:last-child){
&:after{
display: inline-block;
content: "|";
margin-left: 0.5rem;
}
}
}
}
}