From 55bdcabdf6b768cb951739a5d1df4c7eec3993ea Mon Sep 17 00:00:00 2001
From: Julio Montoya <gugli100@gmail.com>
Date: Wed, 13 Jul 2011 15:08:36 +0200
Subject: [PATCH] Minor style changes

---
 main/admin/resume_session.php | 2 +-
 main/css/base_chamilo.css     | 4 ++--
 user_portal.php               | 2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/main/admin/resume_session.php b/main/admin/resume_session.php
index d3dd4787e8..b68476575a 100755
--- a/main/admin/resume_session.php
+++ b/main/admin/resume_session.php
@@ -98,7 +98,7 @@ if (!empty($_GET['warn'])) {
 }
 
 echo Display::tag('h1', Display::return_icon('session.png', get_lang('Session')).' '.$session['name']);
-echo Display::tag('h3', $tool_name);
+//echo Display::tag('h3', $tool_name);
 ?>
 <!-- General properties -->
 <table class="data_table" width="100%">
diff --git a/main/css/base_chamilo.css b/main/css/base_chamilo.css
index 901b1355fa..ea028d83cb 100644
--- a/main/css/base_chamilo.css
+++ b/main/css/base_chamilo.css
@@ -1989,7 +1989,7 @@ padding-top: 0px;   padding-right: 0px; padding-bottom: 0px;    padding-left: 0p
     border-top:1px dotted #999999;
     /*height:35px;*/
     padding:2px;
-    margin-bottom: 5px;
+     margin-bottom: 5px;
     vertical-align:middle;
 }
 .actions a img {
@@ -2005,7 +2005,7 @@ padding-top: 0px;   padding-right: 0px; padding-bottom: 0px;    padding-left: 0p
     border: none;
     text-decoration: none;
     /*background-color: #E5EDF9;*/
-    padding-right: 5px;
+    /* padding-right: 5px; */
     vertical-align:middle;
 }
 .actions a {
diff --git a/user_portal.php b/user_portal.php
index 580c638126..332f62560d 100755
--- a/user_portal.php
+++ b/user_portal.php
@@ -619,7 +619,7 @@ if ($show_menu) {
     if ($show_course_link) {
         if (!api_is_drh()) {
             $my_account_content .=  '<li><a href="main/auth/courses.php">'.get_lang('CourseManagement').'</a></li>';
-               if (api_get_setting('use_session_mode') == 'true') {
+            if (api_get_setting('use_session_mode') == 'true') {
                 if (isset($_GET['history']) && intval($_GET['history']) == 1) {
                     $my_account_content .=  '<li><a href="user_portal.php">'.get_lang('DisplayTrainingList').'</a></li>';
                 } else {