CSS tweaks for code highlighting

main
Thomas Sileo 2022-07-12 19:52:29 +02:00
parent 5845bb72f5
commit d32a56e38d
1 changed files with 14 additions and 3 deletions

View File

@ -35,12 +35,23 @@ body {
a { a {
text-decoration: none; text-decoration: none;
} }
.shared-header { .shared-header {
margin-left:60px;margin-top:30px;margin-bottom:-15px; margin-left: 20px;
margin-top: 30px;
margin-bottom: -20px;
strong { strong {
color: $primary-color; color: $primary-color;
} }
} }
div.highlight {
background: #f0f0f0;
padding: 10px;
overflow: auto;
display: block;
}
.box { .box {
padding: 0 20px; padding: 0 20px;
} }