Adding back some recently deleted styles related with the IMS-CP resource.

It seems that the latest commit (merge) deleted a bunch of styles!!!!
(notified by email to commiter)

diff --git a/theme/standard/styles_layout.css b/theme/standard/styles_layout.css
index aef89ce0273aadcee0aacf4349381a0cacfdf42a..cf9466d9439b2838eb9e434f93e160ce49918218 100644 (file)
--- a/theme/standard/styles_layout.css
+++ b/theme/standard/styles_layout.css
@@ -1779,6 +1779,12 @@ body#mod-quiz-report .controls {
   padding:0.1em;
 }
 
+.ims-nav-button a,
+.ims-nav-dimmed {
+  padding-left:1em;
+  padding-right:1em;
+}
+
 #ims-containerdiv {
   margin-top:0.2em;
 }