Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
cleanup, looks ok now with konqueror, too
authorkleing
Fri, 27 Oct 2000 12:44:50 +0200
changeset 10344 bb0b65380516
parent 10343 24c87e1366d8
child 10345 487acfd5f2d2
cleanup, looks ok now with konqueror, too
Admin/page/common/functions.pl file | annotate | diff | comparison | revisions
Admin/page/dist-layout/template.html file | annotate | diff | comparison | revisions
Admin/page/main-layout/template.html file | annotate | diff | comparison | revisions 
--- a/Admin/page/common/functions.pl	Thu Oct 26 14:59:38 2000 +0200
+++ b/Admin/page/common/functions.pl	Fri Oct 27 12:44:50 2000 +0200
@@ -60,21 +60,23 @@
 
       if ("$_[1].html" eq substr($outputfile,rindex($outputfile,"/")+1)) {
         $retval = <<EOF;
-        <table width="100%" border="0" cellspacing="0" cellpadding="5">
+        <table width="188" border="0" cellspacing="0" cellpadding="5">
         <tr> 
-          <td align=center bgcolor="$navcolor">
+          <td width="8" bgcolor="$navcolor">&nbsp;</td>
+          <td width="160" align="center" bgcolor="$navcolor">
             <b><font face="Arial,Helvetica"><A HREF="$_[1].html" target="_top">$_[0]</A></font></b>
           </td>
+          <td width="8" bgcolor="$navcolor">&nbsp;</td>
         </tr>
         </table>
 EOF
       }
       else {
         $retval = <<EOF;
-        <table width="100%" border="0" cellspacing="0" cellpadding="5">
+        <table width="188" border="0" cellspacing="0" cellpadding="5">
         <tr> 
           <td width="8">&nbsp;</td>
-          <td width="150" align=center bgcolor="$navcolor">
+          <td width="160" align=center bgcolor="$navcolor">
             <b><font face="Arial,Helvetica"><A HREF="$_[1].html" target="_top">$_[0]</A></font></b>
           </td>
           <td width="8">&nbsp;</td>
--- a/Admin/page/dist-layout/template.html	Thu Oct 26 14:59:38 2000 +0200
+++ b/Admin/page/dist-layout/template.html	Fri Oct 27 12:44:50 2000 +0200
@@ -9,14 +9,15 @@
 
   <body text="#000000" bgcolor="#FFFFFF" link="#0000FF" vlink="#000099" alink="#404040">
 
-    <table border="0" cellspacing="5" width="100%" height="100%">
+    <table border="0" cellspacing="5" width="100%">
 
       <tr>
-        <td width="20%" valign="top" bgcolor="#D8D8FF"> 
+        <td width="188" valign="top" bgcolor="#D8D8FF"> 
           <!-- _GP_ include("$pwd/dist-layout/navigation.html") -->
+          <table height="20"><tr><td>&nbsp;</td></tr></table>
         </td>
 
-        <td width="80%" valign="top">
+        <td width="100%" valign="top">
 
           <center>	    
             <table width="70%" border="0" cellspacing="10" cellpadding="10">
@@ -30,7 +31,7 @@
             </table>
           </center>
 
-          <p> 
+          <p>&nbsp;
 
           <center>
             <table width="99%" border="0" cellspacing="0" cellpadding="10">
--- a/Admin/page/main-layout/template.html	Thu Oct 26 14:59:38 2000 +0200
+++ b/Admin/page/main-layout/template.html	Fri Oct 27 12:44:50 2000 +0200
@@ -9,14 +9,15 @@
 
   <body text="#000000" bgcolor="#FFFFFF" link="#0000FF" vlink="#000099" alink="#404040">
 
-    <table border="0" cellspacing="5" width="100%" height="100%">
+    <table border="0" cellspacing="5" width="100%">
 
       <tr>
-        <td width="20%" valign="top" bgcolor="#aacccc"> 
+        <td width="188" valign="top" bgcolor="#aacccc"> 
           <!-- _GP_ include("$pwd/main-layout/navigation.html") -->
+          <table height="20"><tr><td>&nbsp;</td></tr></table>
         </td>
 
-        <td width="80%" valign="top">
+        <td width="100%" valign="top">
 
           <center>	    
             <table width="95%" border="0" cellspacing="10" cellpadding="10">
isabelle