Restyle navigation a bit, align content elements with it.

This commit is contained in:
Julius Volz 2013-05-02 14:34:20 +02:00
parent 5a07e8a7c6
commit f3cf8eae7e
3 changed files with 25 additions and 12 deletions

View file

@ -6,6 +6,10 @@ a { color: black; }
a:hover { color: gray; } a:hover { color: gray; }
a:active { color: black; } a:active { color: black; }
.graph_wrapper {
margin-top: 8px;
}
.graph_container { .graph_container {
font-family: Arial, Helvetica, sans-serif; font-family: Arial, Helvetica, sans-serif;
} }

View file

@ -1,5 +1,5 @@
body { body {
font-family: "Helvetica Neue", Helvetica, Arial, sans-serif; font-family: Arial, sans-serif;
font-size: 14px; font-size: 14px;
line-height: 20px; line-height: 20px;
color: #333; color: #333;
@ -15,6 +15,10 @@ input:not([type=submit]):not([type=file]):not([type=button]) {
border-radius: 3px; border-radius: 3px;
} }
h2 {
margin-left: 8px;
}
.grouping_box { .grouping_box {
position: relative; position: relative;
padding: 5px; padding: 5px;
@ -24,6 +28,7 @@ input:not([type=submit]):not([type=file]):not([type=button]) {
-webkit-border-radius: 4px; -webkit-border-radius: 4px;
-moz-border-radius: 4px; -moz-border-radius: 4px;
border-radius: 4px; border-radius: 4px;
margin: 0px 8px 2px 8px;
} }
.grouping_box .head, .eval_stats { .grouping_box .head, .eval_stats {
@ -55,18 +60,22 @@ input[name=end_input], input[name=range_input] {
} }
#navigation { #navigation {
font-size: 16pt;
background-color: #333; background-color: #333;
color: #F2F2F2; padding: 3px;
line-height: 120%; font-size: 13px;
font-weight: bold;
} }
#navigation a { #navigation a {
color: #F2F2F2; color: #bbb;
padding-right: 1em; padding: 5px;
text-decoration: none; text-decoration: none;
} }
#navigation a:visited { color: #F2F2F2 } #navigation a:visited { color: #bbb }
#navigation a:active { color: #F60 } #navigation a:active { color: #fff }
#navigation a:hover { color: #06C } #navigation a:hover { color: #fff }
#add_graph {
margin-left: 8px;
}

View file

@ -1,4 +1,4 @@
<div id="graph_wrapper{{id}}"> <div id="graph_wrapper{{id}}" class="graph_wrapper">
<form action="/api/query_range" method="GET" class="query_form"> <form action="/api/query_range" method="GET" class="query_form">
<div class="grouping_box"> <div class="grouping_box">
<div class="head"> <div class="head">