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

[Ekaterina Gerasimova <egerasimov src gnome org>]

commit 704200271566245cf954cdfe995540a262d4fc45
Author: Aruna Sankaranarayanan <arunasank src gnome org>
Date:   Tue Nov 5 22:53:21 2013 +0530

    Workspaces screenshot for shell-workspaces.page
    
    This patch has a screenshot of horrible quality, that was only meant for
    testing. Only the overlay snippet is to be noted.

 gnome-help/C/shell-workspaces.page |   19 ++++++++++++-------
 1 files changed, 12 insertions(+), 7 deletions(-)
---
diff --git a/gnome-help/C/shell-workspaces.page b/gnome-help/C/shell-workspaces.page
index 44330df..ed2309b 100644
--- a/gnome-help/C/shell-workspaces.page
+++ b/gnome-help/C/shell-workspaces.page
@@ -1,5 +1,6 @@
 <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">
 
@@ -22,10 +23,14 @@
 
 <title>What is a workspace, and how will it help me?</title>
 
-<media type="image" src="figures/shell-workspaces.png"
-       width="104" height="300" style="floatend floatright">
-  <p>Workspace selector</p>
-</media>
+  <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>
 
   <p if:test="!platform:gnome-classic">Workspaces refer to the grouping of
   windows on your desktop. You can create multiple workspaces, which act like
@@ -55,7 +60,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
@@ -64,8 +69,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">