4 font: 1em "Trebuchet MS", verdana, arial, sans-serif;
27 text-decoration: underline;
39 h1.title a:link, h1.title a:visited, h1.title a:active {
42 text-decoration: none;
52 font-family: tahoma, arial, sans-serif;
72 #enlargement_container {
76 border: 2px solid #B0C6F7;
88 background-image: url("cupertino/images/ui-bg_diagonals-thick_90_eeeeee_40x40.png");
89 background-repeat: repeat;
90 background-attachment: scroll;
91 background-position: 50% 50%;
92 background-color: #EEEEEE;
96 background-color: #EDF1FA;
98 border: 2px solid #B0C6F7;
106 background-image: url("cupertino/images/ui-bg_diagonals-thick_90_eeeeee_40x40.png");
107 background-repeat: repeat;
108 background-attachment: scroll;
109 background-position: 50% 50%;
110 background-color: #EEEEEE;
114 border: 2px solid #B0C6F7;
116 #update_workspace_button {
124 background-image: url('../images/act_icons.png');
125 background-position: 0px 44px;
126 background-color: none;
127 background-repeat: none;
130 #workspace_container {
137 border: 2px solid #B0C6F7;
150 background-color: #61EDAE;
156 border-left: 2px solid #3C73FA;
157 border-right: 2px solid #3C73FA;
158 border-bottom: 2px solid #B0C6F7;
159 border-top: 2px solid #B0C6F7;
162 position: relative; top: -208px;
165 /* cursor: -moz-grab !important; */ /* should this be applied with JS? */
179 border: 2px solid #B0C6F7;
181 background: url("cupertino/images/ui-bg_highlight-hard_100_f2f5f7_1x100.png");
182 background-repeat: repeat-x;
183 background-scroll: scroll;
184 background-position: 50% top;
185 background-color: #F2F5F7;
194 border-left: 16px solid #fff;