make titles more distinctive

This commit is contained in:
Edgar 2022-10-20 10:07:27 +02:00 committed by GitHub
parent 5cf7baad0c
commit 7a59671da0
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -199,4 +199,8 @@ a.title {
ul { ul {
margin-bottom: 10px; margin-bottom: 10px;
} }
h1,h2,h3 {
border-bottom: 4px $color dotted;
}