Style for "You are logged in as xxx" and the link to the course home page.

diff --git a/course/view.php b/course/view.php
index a92676b05e7dd0cce2508b9b8ff126f3bb989aab..fa5b47db4157cf9d736d0ccf6994596d8ad89fc9 100644 (file)
--- a/course/view.php
+++ b/course/view.php
@@ -53,7 +53,7 @@
 
     $courseword = get_string("course");
 
-    $loggedinas = "<font size=1>".user_login_string($course, $USER)."</font>";
+    $loggedinas = "<p class=\"logininfo\">".user_login_string($course, $USER)."</p>";
 
     print_header("$courseword: $course->fullname", "$course->fullname", "$course->shortname", "search.search", "", true,
                   update_course_icon($course->id), $loggedinas);

diff --git a/theme/brightretro/styles.php b/theme/brightretro/styles.php
index bbaf7b097ff0b3a7979f6ccdfed5ca07616dbd03..baf0d7d0065dffccf980feb90403909162805b51 100644 (file)
--- a/theme/brightretro/styles.php
+++ b/theme/brightretro/styles.php
@@ -217,3 +217,11 @@ a.dimmed:hover {
 .forumpostheaderdate {\r
     font-size: small;\r
 }\r
+\r
+.logininfo {\r
+    font-size: x-small;\r
+}\r
+\r
+.homelink {\r
+    font-size: x-small;\r
+}\r

diff --git a/theme/cordoroyblue/styles.php b/theme/cordoroyblue/styles.php
index d07d324ad98d6bd92345dc541c61eb4b158dd9f6..7443987dc4b4fd57b81865ac1f2058ae6b48d4a3 100644 (file)
--- a/theme/cordoroyblue/styles.php
+++ b/theme/cordoroyblue/styles.php
@@ -287,3 +287,11 @@ a.dimmed:hover {
 .forumpostheaderdate {\r
     font-size: small;\r
 }\r
+\r
+.logininfo {\r
+    font-size: x-small;\r
+}\r
+\r
+.homelink {\r
+    font-size: x-small;\r
+}\r

diff --git a/theme/garden/styles.php b/theme/garden/styles.php
index e4b7257f68eace40df5c35a36bb6102ce4abb7ce..296a4174023a18a79ec62a4ac2bc9f3cf7465169 100755 (executable)
--- a/theme/garden/styles.php
+++ b/theme/garden/styles.php
@@ -240,3 +240,11 @@ a.dimmed:hover {
 .forumpostheaderdate {\r
     font-size: small;\r
 }\r
+\r
+.logininfo {\r
+    font-size: x-small;\r
+}\r
+\r
+.homelink {\r
+    font-size: x-small;\r
+}\r

diff --git a/theme/oceanblue/styles.php b/theme/oceanblue/styles.php
index 838a215c98f130b3600ff52784ac77e0f43b88ad..6bde74ac4828113571647d4e3fead17ac7d13cae 100644 (file)
--- a/theme/oceanblue/styles.php
+++ b/theme/oceanblue/styles.php
@@ -342,3 +342,11 @@ a.dimmed:hover {
 .forumpostheaderdate {
     font-size: small;
 }
+
+.logininfo {
+    font-size: x-small;
+}
+
+.homelink {
+    font-size: x-small;
+}

diff --git a/theme/poweraid/styles.php b/theme/poweraid/styles.php
index 7c5418cdb44dd27e945460242620c84063e8b074..b881a41fa41b41cf068bc436446745618129376f 100644 (file)
--- a/theme/poweraid/styles.php
+++ b/theme/poweraid/styles.php
@@ -197,3 +197,11 @@ select {
        color: #000000;
        background-color: #999999;
 }
+
+.logininfo {
+    font-size: x-small;
+}
+
+.homelink {
+    font-size: x-small;
+}

diff --git a/theme/standard/footer.html b/theme/standard/footer.html
index e016358ef3f689ad7982b021c84a14286dbeb1fb..5b0b81bfb9ba5b67c7d0e7a745a11e0984dab00b 100644 (file)
--- a/theme/standard/footer.html
+++ b/theme/standard/footer.html
@@ -1,10 +1,8 @@
 <!-- START OF FOOTER -->
 <CENTER>
 <HR SIZE=1 NOSHADE>
-<FONT SIZE=1>
-<P><?=$loggedinas ?></P>
-<P><?=$homelink ?></P>
-</FONT>
+<P class="logininfo"><?=$loggedinas ?></P>
+<P class="homelink"><?=$homelink ?></P>
 
 </BODY>
 </HTML>

diff --git a/theme/standard/styles.php b/theme/standard/styles.php
index c7a61d458a90e333f4bd3f05bb80ad7cda043dcd..baf0d7d0065dffccf980feb90403909162805b51 100644 (file)
--- a/theme/standard/styles.php
+++ b/theme/standard/styles.php
@@ -218,3 +218,10 @@ a.dimmed:hover {
     font-size: small;\r
 }\r
 \r
+.logininfo {\r
+    font-size: x-small;\r
+}\r
+\r
+.homelink {\r
+    font-size: x-small;\r
+}\r

diff --git a/theme/standardblue/styles.php b/theme/standardblue/styles.php
index c7a61d458a90e333f4bd3f05bb80ad7cda043dcd..f98281456c1f379b6dbe43af8b28e7b46081324d 100644 (file)
--- a/theme/standardblue/styles.php
+++ b/theme/standardblue/styles.php
@@ -218,3 +218,11 @@ a.dimmed:hover {
     font-size: small;\r
 }\r
 \r
+\r
+.logininfo {\r
+    font-size: x-small;\r
+}\r
+\r
+.homelink {\r
+    font-size: x-small;\r
+}\r

diff --git a/theme/standardgreen/styles.php b/theme/standardgreen/styles.php
index c7a61d458a90e333f4bd3f05bb80ad7cda043dcd..f98281456c1f379b6dbe43af8b28e7b46081324d 100644 (file)
--- a/theme/standardgreen/styles.php
+++ b/theme/standardgreen/styles.php
@@ -218,3 +218,11 @@ a.dimmed:hover {
     font-size: small;\r
 }\r
 \r
+\r
+.logininfo {\r
+    font-size: x-small;\r
+}\r
+\r
+.homelink {\r
+    font-size: x-small;\r
+}\r

diff --git a/theme/standardlogo/styles.php b/theme/standardlogo/styles.php
index c7a61d458a90e333f4bd3f05bb80ad7cda043dcd..f98281456c1f379b6dbe43af8b28e7b46081324d 100644 (file)
--- a/theme/standardlogo/styles.php
+++ b/theme/standardlogo/styles.php
@@ -218,3 +218,11 @@ a.dimmed:hover {
     font-size: small;\r
 }\r
 \r
+\r
+.logininfo {\r
+    font-size: x-small;\r
+}\r
+\r
+.homelink {\r
+    font-size: x-small;\r
+}\r

diff --git a/theme/standardred/styles.php b/theme/standardred/styles.php
index c7a61d458a90e333f4bd3f05bb80ad7cda043dcd..f98281456c1f379b6dbe43af8b28e7b46081324d 100644 (file)
--- a/theme/standardred/styles.php
+++ b/theme/standardred/styles.php
@@ -218,3 +218,11 @@ a.dimmed:hover {
     font-size: small;\r
 }\r
 \r
+\r
+.logininfo {\r
+    font-size: x-small;\r
+}\r
+\r
+.homelink {\r
+    font-size: x-small;\r
+}\r

diff --git a/theme/standardwhite/styles.php b/theme/standardwhite/styles.php
index c7a61d458a90e333f4bd3f05bb80ad7cda043dcd..baf0d7d0065dffccf980feb90403909162805b51 100644 (file)
--- a/theme/standardwhite/styles.php
+++ b/theme/standardwhite/styles.php
@@ -218,3 +218,10 @@ a.dimmed:hover {
     font-size: small;\r
 }\r
 \r
+.logininfo {\r
+    font-size: x-small;\r
+}\r
+\r
+.homelink {\r
+    font-size: x-small;\r
+}\r