merged from 1.9

diff --git a/theme/custom_corners/user_styles.css b/theme/custom_corners/user_styles.css
index bb3414a905323e874a63a1ce72291a6707a42600..a866edd49ef4a848780b35630a52c830ccf3d9fc 100644 (file)
--- a/theme/custom_corners/user_styles.css
+++ b/theme/custom_corners/user_styles.css
@@ -228,6 +228,9 @@ body#course-index table.generalbox {
   border-style: solid;
   border-color: #FFFFFF #DDDDDD #DDDDDD #FFFFFF;
 }
+table.minicalendar th {
+  padding: 0px 1px;
+}
 table.minicalendar td.today {
   line-height: 1.4em;
   border: 2px solid #0066FF;
@@ -423,7 +426,6 @@ div#header-home {
   position: relative;
   margin: 0;
   padding: 5px 5px 0 0;
-  background-color: #F1ECE6;
 }
 div#header {
   position: relative;