From e2b12ccda8bb07a05dae57f97384bc433c7c330d Mon Sep 17 00:00:00 2001
From: Isaac Flores <isaac.flores@beeznest.com>
Date: Tue, 30 Jun 2009 02:23:23 +0200
Subject: [PATCH] [svn r21667] minor - style changes - improvements in search
 tool - (partial FS#4346)

---
 user_portal.php | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/user_portal.php b/user_portal.php
index 56aadecd15..c48cd5836e 100644
--- a/user_portal.php
+++ b/user_portal.php
@@ -1,4 +1,4 @@
-<?php // $Id: user_portal.php 20476 2009-05-11 11:02:18Z ivantcholakov $
+<?php // $Id: user_portal.php 21667 2009-06-30 00:23:23Z iflorespaz $
   
 /* For licensing terms, see /dokeos_license.txt */
 /**
@@ -996,9 +996,10 @@ if (api_get_setting('search_enabled') == 'true') {
     $search_btn = get_lang('Search');
     $search_text_default = get_lang('YourTextHere');
 echo <<<EOD
+<br/>
 <form action="main/search/" method="post">
-<input type="text" id="query" name="query" value="$search_text_default" />
-<input type="submit" name="submit" value="$search_btn" />
+&nbsp;&nbsp;<input type="text" id="query" name="query" value="$search_text_default" />
+&nbsp;&nbsp;<input type="submit" name="submit" value="$search_btn" />
 </form>
 EOD;
     echo '</div>';