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-color: #c5c5c5;
89 background-image: url("cupertino/images/ui-bg_diagonals-thick_90_eeeeee_40x40.png");
90 background-repeat: repeat;
91 background-attachment: scroll;
92 background-position: 50% 50%;
93 background-color: #EEEEEE;
97 border: 2px solid #B0C6F7;
99 #update_workspace_button {
107 background-image: url('../images/act_icons.png');
108 background-position: 0px 44px;
109 background-color: none;
110 background-repeat: none;
113 #workspace_container {
120 border: 2px solid #B0C6F7;
133 background-color: #61EDAE;
139 border-left: 2px solid #3C73FA;
140 border-right: 2px solid #3C73FA;
141 border-bottom: 2px solid #B0C6F7;
142 border-top: 2px solid #B0C6F7;
145 position: relative; top: -208px;
148 /* cursor: -moz-grab !important; */ /* should this be applied with JS? */
162 border: 2px solid #B0C6F7;
164 background: url("cupertino/images/ui-bg_highlight-hard_100_f2f5f7_1x100.png");
165 background-repeat: repeat-x;
166 background-scroll: scroll;
167 background-position: 50% top;
168 background-color: #F2F5F7;
177 border-left: 16px solid #fff;