4 font: 1em "Trebuchet MS", verdana, arial, sans-serif;
27 background-color: #dadada;
29 h1.title a:link, h1.title a:visited, h1.title a:active {
32 text-decoration: none;
42 font-family: tahoma, arial, sans-serif;
62 #enlargement_container {
66 border: 2px solid #B0C6F7;
78 background-image: url("cupertino/images/ui-bg_diagonals-thick_90_eeeeee_40x40.png");
79 background-repeat: repeat;
80 background-attachment: scroll;
81 background-position: 50% 50%;
82 background-color: #EEEEEE;
86 background-color: #EDF1FA;
88 border: 2px solid #B0C6F7;
96 background-image: url("cupertino/images/ui-bg_diagonals-thick_90_eeeeee_40x40.png");
97 background-repeat: repeat;
98 background-attachment: scroll;
99 background-position: 50% 50%;
100 background-color: #EEEEEE;
104 border: 2px solid #B0C6F7;
106 #update_workspace_button {
114 background-image: url('../images/act_icons.png');
115 background-position: 0px 44px;
116 background-color: none;
117 background-repeat: none;
120 #workspace_container {
127 border: 2px solid #B0C6F7;
140 background-color: #61EDAE;
146 border-left: 2px solid #3C73FA;
147 border-right: 2px solid #3C73FA;
148 border-bottom: 2px solid #B0C6F7;
149 border-top: 2px solid #B0C6F7;
152 position: relative; top: -208px;
155 /* cursor: -moz-grab !important; */ /* should this be applied with JS? */
169 border: 2px solid #B0C6F7;
171 background: url("cupertino/images/ui-bg_highlight-hard_100_f2f5f7_1x100.png");
172 background-repeat: repeat-x;
173 background-scroll: scroll;
174 background-position: 50% top;
175 background-color: #F2F5F7;
184 border-left: 16px solid #fff;
195 -webkit-touch-callout: none;
196 -webkit-user-select: none;
197 -khtml-user-select: none;
198 -moz-user-select: none;
199 -ms-user-select: none;
207 #relemmatize_pending {
220 .key .key_tip_container {
226 .key:hover .key_tip {
232 border: 1px solid #B2B26B;
233 background-color: #FFFFCC;
234 z-index: 51; /* Cf. #update_workspace_button */