3 background: -webkit-gradient(linear, 0 0, 0 bottom, from(#4D555C), to(#7D858C));
4 background: -moz-linear-gradient(#4D555C, #7D858C);
5 background: linear-gradient(#4D555C, #7D858C);
6 -pie-background: linear-gradient(#4D555C, #7D858C);
7 behavior: url(/static/styles/PIE.htc);
12 height: 120px; /* when changing this, also change #content */
14 width: 84%; /* when changing this, also change #iconbar and #content */
15 left: 16%; /* when changing this, also change #iconbar and #content */
20 #banner a { color: #FFF }
27 #banner h2 { font-weight: 700}
29 #banner h2, #banner .titlebar { font-size: 130% }
31 #banner ul.room_actions li.start_page a {
32 background-color: #5C646B;
34 border: 1px solid black;
46 #banner h1, #banner h2, #banner .banner .infos, #banner .banner p {
59 padding: 10px 2px 2px 2px;
62 #room_infos img.close_infos { float: right }
70 #banner ul.room_actions {
74 #banner ul.room_actions li {
78 #banner ul.room_actions li form {
83 #banner ul.room_actions li select, #banner ul.room_actions li input {
87 #selectpage.hidden { display: none !important }
90 .banner .infos { cursor: help }
92 .room_actions form select { cursor: pointer }