Update layout.

This commit is contained in:
Lars Jung 2014-12-10 03:11:19 +01:00
parent f5993a6ce7
commit a8070a10d2

View file

@ -14,10 +14,10 @@ body#h5ai-info {
padding: 2px 4px; padding: 2px 4px;
border-radius: 4px; border-radius: 4px;
font-family: @font-family-mono; font-family: @font-family-mono;
letter-spacing: 0.1em; letter-spacing: 0.05em;
background-color: @col-widget-back; background-color: @col-widget-back;
border: @border-widget; border: @border-widget;
font-size: 0.8em; font-size: 0.9em;
} }
#header a { #header a {
@ -52,6 +52,7 @@ body#h5ai-info {
padding: 0 12px; padding: 0 12px;
line-height: 28px; line-height: 28px;
width: 200px; width: 200px;
vertical-align: top;
} }
#login, #logout { #login, #logout {
@ -60,6 +61,7 @@ body#h5ai-info {
margin: 8px; margin: 8px;
padding: 0 12px; padding: 0 12px;
line-height: 28px; line-height: 28px;
vertical-align: top;
} }
#hint { #hint {
@ -78,8 +80,9 @@ body#h5ai-info {
.test { .test {
.card(); .card();
.rounded(); .rounded();
background: @col-light;
margin: 12px 0 0 0; margin: 12px 0 0 0;
padding: 8px; padding: 8px 12px 12px 12px;
} }
.label { .label {
display: inline-block; display: inline-block;