4 font: 1em "Trebuchet MS", verdana, arial, sans-serif;
27 text-decoration: underline;
35 h1.title a:link, h1.title a:visited, h1.title a:active {
38 text-decoration: none;
48 font-family: tahoma, arial, sans-serif;
68 #enlargement_container {
72 border: 2px solid #B0C6F7;
84 background-image: url("cupertino/images/ui-bg_diagonals-thick_90_eeeeee_40x40.png");
85 background-repeat: repeat;
86 background-attachment: scroll;
87 background-position: 50% 50%;
88 background-color: #EEEEEE;
92 background-color: #EDF1FA;
94 border: 2px solid #B0C6F7;
102 background-image: url("cupertino/images/ui-bg_diagonals-thick_90_eeeeee_40x40.png");
103 background-repeat: repeat;
104 background-attachment: scroll;
105 background-position: 50% 50%;
106 background-color: #EEEEEE;
110 border: 2px solid #B0C6F7;
112 #update_workspace_button {
120 background-image: url('../images/act_icons.png');
121 background-position: 0px 44px;
122 background-color: none;
123 background-repeat: none;
126 #workspace_container {
133 border: 2px solid #B0C6F7;
146 background-color: #61EDAE;
152 border-left: 2px solid #3C73FA;
153 border-right: 2px solid #3C73FA;
154 border-bottom: 2px solid #B0C6F7;
155 border-top: 2px solid #B0C6F7;
158 position: relative; top: -208px;
161 /* cursor: -moz-grab !important; */ /* should this be applied with JS? */
175 border: 2px solid #B0C6F7;
177 background: url("cupertino/images/ui-bg_highlight-hard_100_f2f5f7_1x100.png");
178 background-repeat: repeat-x;
179 background-scroll: scroll;
180 background-position: 50% top;
181 background-color: #F2F5F7;
190 border-left: 16px solid #fff;