4 font: 1em "Trebuchet MS", verdana, arial, sans-serif;
27 text-decoration: underline;
41 background-color: #dadada;
43 h1.title a:link, h1.title a:visited, h1.title a:active {
46 text-decoration: none;
56 font-family: tahoma, arial, sans-serif;
76 #enlargement_container {
80 border: 2px solid #B0C6F7;
92 background-image: url("cupertino/images/ui-bg_diagonals-thick_90_eeeeee_40x40.png");
93 background-repeat: repeat;
94 background-attachment: scroll;
95 background-position: 50% 50%;
96 background-color: #EEEEEE;
100 background-color: #EDF1FA;
102 border: 2px solid #B0C6F7;
110 background-image: url("cupertino/images/ui-bg_diagonals-thick_90_eeeeee_40x40.png");
111 background-repeat: repeat;
112 background-attachment: scroll;
113 background-position: 50% 50%;
114 background-color: #EEEEEE;
118 border: 2px solid #B0C6F7;
120 #update_workspace_button {
128 background-image: url('../images/act_icons.png');
129 background-position: 0px 44px;
130 background-color: none;
131 background-repeat: none;
134 #workspace_container {
141 border: 2px solid #B0C6F7;
154 background-color: #61EDAE;
160 border-left: 2px solid #3C73FA;
161 border-right: 2px solid #3C73FA;
162 border-bottom: 2px solid #B0C6F7;
163 border-top: 2px solid #B0C6F7;
166 position: relative; top: -208px;
169 /* cursor: -moz-grab !important; */ /* should this be applied with JS? */
183 border: 2px solid #B0C6F7;
185 background: url("cupertino/images/ui-bg_highlight-hard_100_f2f5f7_1x100.png");
186 background-repeat: repeat-x;
187 background-scroll: scroll;
188 background-position: 50% top;
189 background-color: #F2F5F7;
198 border-left: 16px solid #fff;
209 -webkit-touch-callout: none;
210 -webkit-user-select: none;
211 -khtml-user-select: none;
212 -moz-user-select: none;
213 -ms-user-select: none;