1 <style type="text/css" media="screen">
5 font: 1em "Trebuchet MS", verdana, arial, sans-serif;
16 border: 2px solid #B0C6F7;
18 #enlargement_container {
22 border: 2px solid #B0C6F7;
30 background-image: url("../css/cupertino/images/ui-bg_diagonals-thick_90_eeeeee_40x40.png");
31 background-repeat: repeat;
32 background-attachment: scroll;
33 background-position: 50% 50%;
34 background-color: #EEEEEE;
38 border: 2px solid #B0C6F7;
40 #update_workspace_button {
47 border: 1px solid #B0C6F7;
48 background-image: url('../images/act_arrs.gif');
49 background-position: 0px 0px;
50 background-color: #fcfcfc;
53 #workspace_container {
60 border: 2px solid #B0C6F7;
73 background-color: #61EDAE;
79 border-left: 2px solid #3C73FA;
80 border-right: 2px solid #3C73FA;
81 border-bottom: 2px solid #B0C6F7;
82 border-top: 2px solid #B0C6F7;
85 position: relative; top: -208px;
88 /* cursor: -moz-grab !important; */ /* should this be applied with JS? */
102 border: 2px solid #B0C6F7;
112 border-left: 16px solid #fff;