/static/light_hatched_style/tool_menu.css.tmpl

 1body
 2{
 3    background: white;
 4    color: $base_text;
 5    background: white url(menu_bg.png) top repeat-x;
 6    margin: 5px;
 7    margin-right: 15px;
 8    margin-left: 15px;
 9}
10
11hr
12{
13    border: none;
14    height: 0px;
15    margin-top: 0px;
16}
17
18div.toolSectionPad
19{
20    margin: 0;
21    padding: 0;
22    height: 5px;
23    font-size: 0px;
24}
25
26div.toolSectionDetailsInner
27{ 
28  margin-left: 10px;
29  margin-right: 10px;
30}
31
32div.toolSectionTitle
33{
34  padding-bottom: 0px;
35  font-weight: bold;
36}
37
38div.toolTitle
39{
40  padding-top: 5px;
41  padding-bottom: 5px;
42  margin-left: 16px;
43  margin-right: 10px;
44  display: list-item;
45  list-style: square outside;
46}