Do our own positioning of the process widget rather than using margin:auto, so that the links on the top header panel don't get obscured.

git-svn-id: http://google-refine.googlecode.com/svn/trunk@343 7d457c2a-affb-35e4-300a-418c747d4874

src/main/webapp/scripts/project.js

@@ -92,6 +92,11 @@ function resize() {
         .css("height", height + "px")
         .css("left", (width - facetPanelWidth) + "px")
         .css("width", facetPanelWidth + "px");
+        
+    var processPanelWidth = 400;
+    ui.processPanel
+        .css("width", processPanelWidth + "px")
+        .css("left", Math.floor((width - processPanelWidth) / 2) + "px");
 }
 
 function resizeAll() {

src/main/webapp/styles/project/process.css

@@ -1,23 +1,20 @@
 .process-panel {
     position: fixed;
-    top: -1px;
-    width: 100%;
-    text-align: center;
+    top: 0px;
     z-index: 1000;
-}
-
-.process-panel-inner {
-    border: 1px solid #aaa;
-    width: 500px;
-    margin: 0 auto;
-    text-align: left;
     background: #fffee0;
+    border: 1px solid #aaa;
+    border-top: none;
     -moz-border-radius-bottomleft: 10px;
     -webkit-border-bottom-left-radius: 10px;
     -moz-border-radius-bottomright: 10px;
     -webkit-border-bottom-right-radius: 10px;    
 }
 
+.process-panel-inner {
+    padding-bottom: 10px;
+}
+
 .process-panel-head {
     padding: 2px 10px;
     border-bottom: 1px solid #ccc;