Switch to unified view

a/web/static/style.css b/web/static/style.css
1
body {    margin: 0; font-family: sans-serif }
1
body {    
2
* { font-family: inherit  }
2
    margin: 10;
3
3
    font-family: sans-serif;
4
5
#menu ul
6
{
7
}
4
}
8
5
9
#menu ul li
6
* { 
10
{
7
    font-family: inherit;
11
display: inline;
12
line-height: 30px;
13
padding-left: 3px;
14
}
8
}
15
9
16
#menu ul li a
10
#menu ul {
17
{
11
    margin: 20 0 20 0;
18
background-color: transparent;
19
background-repeat: repeat-x;
20
padding: 8px 12px 8px 12px;
21
font-size: 12px;
22
font-weight: bold;
23
}
12
}
24
13
25
#menu ul li a:hover
14
#menu ul li {
26
{
15
    display: inline;
27
background: #aaa;
16
    line-height: 30px;
28
color: #4A4A24;
17
    padding-left: 3px;
29
text-decoration: none;
30
}
18
}
31
19
20
#menu ul li a {
21
    background-color: transparent;
22
    background-repeat: repeat-x;
23
    padding: 8px 12px 8px 12px;
24
    font-size: 12px;
25
    font-weight: bold;
26
}
32
27
28
#menu ul li a:hover {
29
    background: #aaa;
30
    color: #4A4A24;
33
a { text-decoration: none }
31
    text-decoration: none;
32
}
33
34
a { 
35
    text-decoration: none;
36
}
37
38
table {
39
    margin: 0 0 0 10;
40
}
34
table td {
41
table td {
35
  padding: 10;
42
    padding: 10;
36
  border-right: 1px dotted black ;
43
    border-right: 1px dotted black ;
37
  border-collapse: collapse;
44
    border-collapse: collapse;
38
}
45
}
39
table td:last-child {
46
table td:last-child {
40
  border-right: 0px;
47
    border-right: 0px;
41
}
48
}
42
49
43
form { 
50
form { 
44
    margin: 10;
51
    margin: 0;
45
}
52
}
46
input, select {
53
input, select {
47
  margin-top: 2px;
54
    margin-top: 2px;
48
  margin-bottom: 2px;
55
    margin-bottom: 2px;
49
  background: white;
56
    background: white;
50
  border: 1px solid #999;
57
    border: 1px solid #999;
51
  padding: 3px;
58
    padding: 3px;
52
  color: #f55;
59
    color: #f55;
53
}
60
}
54
input:focus, button:focus, select:focus{
61
input:focus, button:focus, select:focus{
55
  border: 1px solid black;
62
    border: 1px solid black;
56
  color: black;
63
    color: black;
57
}
64
}
58
input[type=button],input[type=reset],input[type=submit] { 
65
input[type=button],input[type=reset],input[type=submit] { 
59
66
60
}
67
}
61
input[type=button]:hover,input[type=reset]:hover,input[type=submit]:hover{ 
68
input[type=button]:hover,input[type=reset]:hover,input[type=submit]:hover{