Use a private CSS class for this table to be more flexible

diff --git a/grade/report/grader/index.php b/grade/report/grader/index.php
index f4ac9be4131b62a26a1d880d36a7a5625c348793..8a081bdb9d0a78ad9fae0aff9428bd3dc1b90e1c 100644 (file)
--- a/grade/report/grader/index.php
+++ b/grade/report/grader/index.php
@@ -60,9 +60,8 @@ include('tabs.php');
 echo $report->group_selector;
 echo $report->get_toggles_html();
 print_paging_bar($numusers, $report->page, $report->get_pref('studentsperpage'), $report->pbarurl);
-echo '<br />';
 
-$reporthtml = '<table class="boxaligncenter">';
+$reporthtml = '<table class="gradestable">';
 $reporthtml .= $report->get_headerhtml();
 $reporthtml .= $report->get_scalehtml();
 $reporthtml .= $report->get_studentshtml();

diff --git a/theme/standard/styles_layout.css b/theme/standard/styles_layout.css
index d9573842d2fde1b5afff6f1e84124b13e4812abd..988fb03a14f04891275e99328f25f09e26c6f193 100644 (file)
--- a/theme/standard/styles_layout.css
+++ b/theme/standard/styles_layout.css
@@ -2123,6 +2123,11 @@ body#grade-index .grades .weighted {
   margin-left: 20px;
 }
 
+#grade-report table.gradestable {
+  margin-left:auto;
+  margin-right:auto;
+}
+
 /* gradebook edit tree */
 
 #grade-edit-edit_tree .gradetreebox {