4 font-family: Arial, Helvetica, sans-serif;
6 background: white url('/devel/img/bg.png') repeat-x left 88px;
12 text-decoration: none;
20 text-decoration: underline;
31 vertical-align: middle;
41 .container-install-in-widget
56 /*border: 2px outset blue;*/
58 background-color: rgb(0,90,192);
59 list-style-type: none;
69 #nav-menu a:link, #nav-menu a:visited
81 border: 1px solid transparent;
82 text-decoration: none;
86 background-color: rgb(90,148,216);
87 border: 1px outset rgb(0,90,192);
91 background-color: rgb(90,148,216);
92 border: 1px inset rgb(60,128,208);
96 background-color: rgb(60,128,208);
97 border: 1px inset rgb(60,128,208);
105 /*position: absolute;
111 border: 1px outset #e5ecf5;
139 /*position: absolute;
154 padding: 0px 0px 0px 8px;
155 margin: 8px 0px 8px 0px;
156 background: url(/devel/img/header.png) top repeat-x;
157 outline: 1px outset rgb(108,162,222);
164 border-collapse: collapse;
168 /* border: 1px solid rgb(108,162,222); */
173 vertical-align: middle;
180 margin-bottom: 0.5em;
188 /* outline: 2px outset gray; */
196 /* outline: 2px outset gray; */
202 border: 1px outset #e5ecf5;
204 padding-bottom: 0.4em;