styling improved

This commit is contained in:
Christian Mueller
2014-09-27 17:14:04 +02:00
parent 3051b8c0f2
commit 9055d66489
+5 -6
View File
@@ -41,10 +41,6 @@ border: 1px solid @foreground;
.thin-border; .thin-border;
} }
code, pre {
font-family: "Menlo", "Andale Mono", "Consolas", Fixed, monospace;
font-size: 0.9em;
}
a { a {
color: @link_fresh; color: @link_fresh;
text-decoration: none; text-decoration: none;
@@ -95,7 +91,6 @@ width: 100%;
@media screen and (max-width: 767px) { @media screen and (max-width: 767px) {
font-size: 0.4em; font-size: 0.4em;
} }
} }
#links a { #links a {
border: none; border: none;
@@ -143,11 +138,15 @@ margin: 2em;
.bottom-space { .bottom-space {
margin-bottom: 7em; margin-bottom: 7em;
} }
code, pre {
font-family: monospace;
background: @background_halftone;
font-size: @font_size;
}
pre { pre {
border-radius: 3px; border-radius: 3px;
padding: 0.5em; padding: 0.5em;
border: 1px dotted @foreground_halftone; border: 1px dotted @foreground_halftone;
background: @background_halftone;
} }
*:focus { *:focus {
outline: 0px none transparent; outline: 0px none transparent;