Add bottom link to top of the page
authorLeonardo Sápiras <l.sapiras@gmail.com>
Sun, 6 Jun 2010 21:09:10 +0000 (23:09 +0200)
committerioguix <ioguix@free.fr>
Sun, 6 Jun 2010 21:09:10 +0000 (23:09 +0200)
browser.php
classes/Misc.php
database.php
themes/default/global.css

index 6b1e5e1efe0aea6a23290918c62025d2439e7d8a..f3e0912888249cfff8e0cd47f1fc3152be2a1482 100644 (file)
@@ -10,6 +10,7 @@
 
        // Include application functions
        $_no_db_connection = true;
+       $_no_bottom_link = true;
        include_once('./libraries/lib.inc.php');
        
        if (isset($conf['srv_groups'])) {
index 44efb55421a94077780a46aaca6f99efc9ff5b24..ffe00ff60a0e359be57107a3a6d3270238250103 100644 (file)
                 */
                function printFooter($doBody = true) {
                        global $_reload_browser, $_reload_drop_database;
+                       global $lang, $_no_bottom_link;
 
                        if ($doBody) {
                                if (isset($_reload_browser)) $this->printReload(false);
                                elseif (isset($_reload_drop_database)) $this->printReload(true);
+                               if (!isset($_no_bottom_link)) 
+                                       echo "<a href=\"#\" class=\"bottom_link\">".$lang['strgotoppage']."</a>";
                                echo "</body>\n";
                        }
                        echo "</html>\n";
index 7f7a1790e155a57205c808b692ba26b28a34a192..f075b9a164c062bc2fff6d57fd5419744e603264 100755 (executable)
                echo "<div id=\"locks_block\" class=\"data_block\">";
                currentLocks();
                echo "</div>";
-
-               echo "<a href=\"#\" class=\"bottom_link\">".$lang['strgotoppage']."</a>";
        }
 
        /**
index e039ed9dc0b8c2452a47dda38ff12cef4d9c4b7d..fd762a47f7ac4f8b83237c1ce06d3ee96a2be40d 100644 (file)
@@ -460,5 +460,9 @@ pre.error
        position: fixed; 
        bottom: 0; 
        right: 0;
-       padding: 5px;
+       padding: 4px;
+       background: #eee;
+       border-top: 1px dotted #999;
+       border-left: 1px dotted #999;
+       font-size: smaller;
 }