[gnome-user-docs] Correct my last patch.

[Andre Klapper <aklapper src gnome org>]

commit 5430700e754c807b3e7ecd459e1c30b0e3de47c6
Author: Andre Klapper <a9016009 gmx de>
Date:   Sun Jan 26 23:15:22 2014 +0100

    Correct my last patch.
    
    Looks like I have custom workspace settings so it displayed one too much.

 gnome-help/C/figures/shell-workspaces.png |  Bin 79745 -> 61420 bytes
 gnome-help/C/shell-workspaces.page        |    2 +-
 2 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/gnome-help/C/figures/shell-workspaces.png b/gnome-help/C/figures/shell-workspaces.png
index 33b1d53..73b499b 100644
Binary files a/gnome-help/C/figures/shell-workspaces.png and b/gnome-help/C/figures/shell-workspaces.png 
differ
diff --git a/gnome-help/C/shell-workspaces.page b/gnome-help/C/shell-workspaces.page
index 2bc04fa..7a5627b 100644
--- a/gnome-help/C/shell-workspaces.page
+++ b/gnome-help/C/shell-workspaces.page
@@ -24,7 +24,7 @@
 <title>What is a workspace, and how will it help me?</title>
 
     <media type="image" src="figures/shell-workspaces.png"
-           width="162" height="517" style="floatend floatright">
+           width="162" height="434" style="floatend floatright">
         <p>Workspace selector</p>
     </media>