comparison m-toolbox/html_help/help/header.html @ 0:f0afece42f48

Import.
author Daniele Nicolodi <nicolodi@science.unitn.it>
date Wed, 23 Nov 2011 19:22:13 +0100
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:f0afece42f48
1 <html>
2 <head>
3 <meta name="generator" content=
4 "HTML Tidy for Mac OS X (vers 1st December 2004), see www.w3.org">
5 <meta http-equiv="Content-Type" content=
6 "text/html; charset=us-ascii">
7
8 <title><a href="../helptoc.html">LTPDA Toolbox</a></title>
9 <style type="text/css">
10
11 /* These are special CSS styles for these DOCUMENT MAP Pages PLEASE DO NOT DELETE */
12
13 /* Hyper Link Styles */
14
15 a:link {color: #0000FF; text-decoration:underline; font-weight:bold;}
16 a:visited {color: #0000FF; text-decoration:underline; font-weight:bold;}
17 a:hover {color: #0000FF; text-decoration:underline; font-weight:bold;}
18 a:active {color: #0000FF; text-decoration:underline; font-weight:bold;}
19 div.expander a:link {font-weight:normal;} /* unvisited expander link */
20 div.expander a:visited {font-weight:normal;} /* visited expander link */
21 p.copy a {font-weight:normal;}
22
23 /* Text Classes */
24
25 .a12obsolete {font-family:arial; font-size:12px; font-weight:bold;}
26 .a15obsolete {font-family:arial; font-size:15px; font-weight:bold;}
27 .v8 {font-family:arial; font-size:8pt; font-weight:normal;}
28 p.copy { margin:0; padding:2px; background-color:#FFFFFF; }
29 div.expander dd {margin-top:-1ex; margin-left:3ex;}
30 table {border-width:0;}
31 </style>
32 </head>
33
34 <body style="font-family: arial, helvetica, sans-serif;" bgcolor=
35 "#FFFFFF" text="#000000" leftmargin="0" topmargin="0" marginwidth=
36 "0" marginheight="0">
37
38
39 <table width="100%" cellspacing="0" cellpadding="0">
40 <tr>
41 <td height="48" valign="top" background="pattern_bkgd1.gif">
42 <img src="ltpda_banner.png" width="507" alt=
43 "LTPDA Toolbox roadmap page">&nbsp;</td>
44 </tr>
45 </table>
46
47 <table width="100%" cellspacing="0" cellpadding="0" height="26">
48 <tr>
49 <td bgcolor="#336699" height="15"><img src="pixelclear.gif"
50 height="1" width="1"></td>
51 </tr>
52
53 <tr>
54 <td bgcolor="#FFFFFF" height="13">&nbsp;</td>
55 </tr>
56 </table>
57
58