[gnome-user-docs] Revert "Workspaces screenshot for shell-workspaces.page"

[Ekaterina Gerasimova <egerasimov src gnome org>]

commit 373ce4e864acc5fa93795fddbec5904a0737004a
Author: Ekaterina Gerasimova <kittykat3756 gmail com>
Date:   Wed Nov 6 09:38:55 2013 +0000

    Revert "Workspaces screenshot for shell-workspaces.page"
    
    Accidentally pushed the patch before it was ready!
    
    This reverts commit 704200271566245cf954cdfe995540a262d4fc45.

 gnome-help/C/shell-workspaces.page |   19 +++++++------------
 1 files changed, 7 insertions(+), 12 deletions(-)
---
diff --git a/gnome-help/C/shell-workspaces.page b/gnome-help/C/shell-workspaces.page
index ed2309b..44330df 100644
--- a/gnome-help/C/shell-workspaces.page
+++ b/gnome-help/C/shell-workspaces.page
@@ -1,6 +1,5 @@
 <page xmlns="http://projectmallard.org/1.0/";
       xmlns:if="http://projectmallard.org/if/1.0/";
-      xmlns:ui="http://projectmallard.org/experimental/ui/";
       type="topic" style="ui" version="1.0 if/1.0"
       id="shell-workspaces">
 
@@ -23,14 +22,10 @@
 
 <title>What is a workspace, and how will it help me?</title>
 
-  <ui:overlay width="54" height="180">
-    <media type="image" src="figures/shell-workspaces.png"
-           width="215" height="720" style="floatend floatright">
-      <ui:thumb src="figures/shell-workspaces.png">
-        <p>Workspace selector</p>
-      </ui:thumb>
-    </media>
-  </ui:overlay>
+<media type="image" src="figures/shell-workspaces.png"
+       width="104" height="300" style="floatend floatright">
+  <p>Workspace selector</p>
+</media>
 
   <p if:test="!platform:gnome-classic">Workspaces refer to the grouping of
   windows on your desktop. You can create multiple workspaces, which act like
@@ -60,7 +55,7 @@
   </item>
  <item>
   <p if:test="!platform:gnome-classic">A vertical panel will appear showing
-  workspaces in use, plus an empty workspace. This is the
+  workspaces in use, plus an empty workspace. This is the 
   <link xref="shell-terminology">workspace selector</link>.</p>
   <p if:test="platform:gnome-classic">A vertical panel will appear showing
   available workspaces. This is the <link xref="shell-terminology">workspace
@@ -69,8 +64,8 @@
  <item if:test="!platform:gnome-classic">
   <p>To add a workspace, drag and drop a window from an existing workspace onto
   the empty workspace in the
-  <link xref="shell-terminology">workspace selector</link>.
-  This workspace now contains the window you have dropped, and a new empty
+  <link xref="shell-terminology">workspace selector</link>. 
+  This workspace now contains the window you have dropped, and a new empty 
   workspace will appear below it.</p>
  </item>
  <item if:test="!platform:gnome-classic">