Admin/page/main-layout/template.html
changeset 15294 6b73cbe3460f
parent 14019 b141b26145e1
child 15932 2c351ab6c403
equal deleted inserted replaced
15293:7797a04cc188 15294:6b73cbe3460f
    13     <table border="0" cellspacing="5" width="100%">
    13     <table border="0" cellspacing="5" width="100%">
    14 
    14 
    15       <tr>
    15       <tr>
    16         <td width="188" valign="top" bgcolor="#608080"> 
    16         <td width="188" valign="top" bgcolor="#608080"> 
    17           <!-- _GP_ include("$pwd/main-layout/navigation.html") -->
    17           <!-- _GP_ include("$pwd/main-layout/navigation.html") -->
    18           <table height="20"><tr><td> </td></tr></table>
    18           <table height="20"><tr><td>&nbsp;</td></tr></table>
    19         </td>
    19         </td>
    20 
    20 
    21         <td width="100%" valign="top">
    21         <td width="100%" valign="top">
    22 
    22 
    23           <center>	    
    23           <center>	    
    29                   </b>
    29                   </b>
    30                 </td>
    30                 </td>
    31 		<td width="40%" valign="middle" align="center" nowrap>
    31 		<td width="40%" valign="middle" align="center" nowrap>
    32 		  <a href="http://www4.in.tum.de/proj/theoremprov/group.html"><img src="munich.gif"
    32 		  <a href="http://www4.in.tum.de/proj/theoremprov/group.html"><img src="munich.gif"
    33 		      border=0 width="48" height="59" alt="[Munich logo]"></a>
    33 		      border=0 width="48" height="59" alt="[Munich logo]"></a>
    34 		   
    34 		  &nbsp;
    35 		  <a href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html"><img
    35 		  <a href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html"><img
    36 		      src="cambridge.gif" width="150" height="49" border=0 alt="[Cambridge logo]"></a>
    36 		      src="cambridge.gif" width="150" height="49" border=0 alt="[Cambridge logo]"></a>
    37 		</td>
    37 		</td>
    38               </tr>
    38               </tr>
    39             </table>
    39             </table>
    40           </center>
    40           </center>
    41 
    41 
    42           <p> 
    42           <p>&nbsp;
    43 
    43 
    44           <center>
    44           <center>
    45             <table width="99%" border="0" cellspacing="0" cellpadding="10">
    45             <table width="99%" border="0" cellspacing="0" cellpadding="10">
    46               <tr>
    46               <tr>
    47                 <td align="left">
    47                 <td align="left">