Switch to unified view

a/website/styles/style.css b/website/styles/style.css
...
...
55
  padding-bottom:       1em;
55
  padding-bottom:       1em;
56
}
56
}
57
h2 {
57
h2 {
58
  font-weight:          normal;
58
  font-weight:          normal;
59
  font-size:            120%;
59
  font-size:            120%;
60
  padding-top: 1em;
60
}
61
}
61
h3 {
62
h3 {
62
  font-weight:          normal;
63
  font-weight:          bold;
64
  font-size:            100%;
65
  padding-top: 1em;
63
}
66
}
67
64
p.indexthumb {
68
p.indexthumb {
65
    margin-left: 1em;
69
    margin-left: 1em;
66
}
70
}
67
.guimenu, .guimenuitem, .guisubmenu,
71
.guimenu, .guimenuitem, .guisubmenu,
68
.guilabel, .interface, .guibutton,
72
.guilabel, .interface, .guibutton,