Make use of the page-footer defined in basic.style

diff --git a/Styles/infodrom.style b/Styles/infodrom.style
index 4b7b3a3..7703224 100644 (file)
--- a/Styles/infodrom.style
+++ b/Styles/infodrom.style
@@ -50,33 +50,7 @@
 </tr>
 </table>
 
-<line color=<menu-fgcolor> height=1 align=center>
-#<hr>
-
-# &copy; = &#169;
-<address><small>&copy; <a href="<root_prefix>Infodrom/impressum.html">Infodrom Oldenburg</a>, <:
-$cvsurl = "http://cvs.infodrom.org/www.infodrom.org/%s%s?cvsroot=infodrom.org";
-@months =
-    ("Dummy", "January","February","March","April","May","June","July","August","September","October","November","December");
-
-if (length ("<get-var source>")) {
-    if ("<get-var source>" ne ".") {
-        $url = "<get-var source>";
-    } else {
-        $url = '';
-    }
-} else {
-    "<get-var WML_SRC_DIRNAME>/" =~ /.*\/(src\/.*)$/;
-    $url = sprintf ($cvsurl, $1, "<get-var WML_SRC_FILENAME>");
-}
-
-"<get-var WML_SRC_ISOTIME>" =~ /^(\d+)-(\d+)-(\d+)\s/;
-if (length ($url)) {
-    printf "<a href=\"%s\">page source</a> last modified: %s %d, %d.", $url, $months[$2], $3, $1;
-} else {
-    printf "page source last modified: %s %d, %d.", $months[$2], $3, $1;
-}
-:></small></address>
+<page-footer>
 
 </body>
 </html>