4 font: 1em "Trebuchet MS", verdana, arial, sans-serif;
14 text-decoration: underline;
28 background-color: #dadada;
30 h1.title a:link, h1.title a:visited, h1.title a:active {
33 text-decoration: none;
43 font-family: tahoma, arial, sans-serif;
63 #enlargement_container {
67 border: 2px solid #B0C6F7;
79 background-image: url("cupertino/images/ui-bg_diagonals-thick_90_eeeeee_40x40.png");
80 background-repeat: repeat;
81 background-attachment: scroll;
82 background-position: 50% 50%;
83 background-color: #EEEEEE;
87 background-color: #EDF1FA;
89 border: 2px solid #B0C6F7;
97 background-image: url("cupertino/images/ui-bg_diagonals-thick_90_eeeeee_40x40.png");
98 background-repeat: repeat;
99 background-attachment: scroll;
100 background-position: 50% 50%;
101 background-color: #EEEEEE;
105 border: 2px solid #B0C6F7;
107 #update_workspace_button {
115 background-image: url('../images/act_icons.png');
116 background-position: 0px 44px;
117 background-color: none;
118 background-repeat: none;
121 #workspace_container {
128 border: 2px solid #B0C6F7;
141 background-color: #61EDAE;
147 border-left: 2px solid #3C73FA;
148 border-right: 2px solid #3C73FA;
149 border-bottom: 2px solid #B0C6F7;
150 border-top: 2px solid #B0C6F7;
153 position: relative; top: -208px;
156 /* cursor: -moz-grab !important; */ /* should this be applied with JS? */
170 border: 2px solid #B0C6F7;
172 background: url("cupertino/images/ui-bg_highlight-hard_100_f2f5f7_1x100.png");
173 background-repeat: repeat-x;
174 background-scroll: scroll;
175 background-position: 50% top;
176 background-color: #F2F5F7;
185 border-left: 16px solid #fff;
196 -webkit-touch-callout: none;
197 -webkit-user-select: none;
198 -khtml-user-select: none;
199 -moz-user-select: none;
200 -ms-user-select: none;
208 #relemmatize_pending {
221 .key .key_tip_container {
227 .key:hover .key_tip {
233 border: 1px solid #B2B26B;
234 background-color: #FFFFCC;
235 z-index: 51; /* Cf. #update_workspace_button */