[gnome-user-docs/gnome-3-0] removed unnecessary gui tags. Minor style changes.

[Tiffany Antopolski <antopolski src gnome org>]

commit 63eeb5825e1593d8af70f0fc505bbc3686a9b102
Author: Tiffany Antopolski <tiffany antopolski com>
Date:   Tue Jun 7 18:07:11 2011 -0400

    removed unnecessary gui tags.  Minor style changes.
    
    Marked final.

 gnome-help/C/shell-workspaces.page |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/gnome-help/C/shell-workspaces.page b/gnome-help/C/shell-workspaces.page
index 5da044f..2da96b7 100644
--- a/gnome-help/C/shell-workspaces.page
+++ b/gnome-help/C/shell-workspaces.page
@@ -9,7 +9,7 @@
     <desc>Workspaces are a way of grouping windows on your desktop.</desc>
 
     <revision pkgversion="3.0" date="2011-04-04" status="final"/>
-    <revision pkgversion="3.0" version="3.0.1" date="2011-04-06" status="outdated"/>
+    <revision pkgversion="3.0" version="3.0.1" date="2011-04-06" status="final"/>
     <credit type="author">
       <name>GNOME Documentation Project</name>
       <email>gnome-doc-list gnome org</email>
@@ -34,10 +34,10 @@
  
 <list>
  <item>
- <p>In the <gui>activities overview</gui>, move your cursor to the right-most side of the screen. A vertical panel will appear showing workspaces in use, plus an empty workspace. This is the <gui>workspace switcher</gui>.
+ <p>In the <gui>Activities</gui> overview, move your cursor to the right-most side of the screen. A vertical panel will appear showing workspaces in use, plus an empty workspace. This is the <link xref="shell-terminolgoy">workspace selector</link>.
  </p></item>
  <item><p>
-  To add a workspace, drag and drop a window from an existing workspace onto the empty workspace in the switcher. This workspace now contains the window you dropped into it, and a new empty workspace will appear below it.
+  To add a workspace, drag and drop a window from an existing workspace onto the empty workspace in the workspace selector. This workspace now contains the window you dropped into it, and a new empty workspace will appear below it.
   </p></item>
   <item><p>
    To remove a workspace simply close all of its windows or move them to other workspaces.