1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
|
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<meta name="GENERATOR" content="GNU source-highlight
by Lorenzo Bettini
http://www.lorenzobettini.it
http://www.gnu.org/software/src-highlite">
<title>Java formatted in html</title>
<style type="text/css">
body {
font-family: Georgia, "Times New Roman", Times, serif;
color: purple; background-color: #d8da3d
}
h1 {
font-family: Helvetica, Geneva, Arial, SunSans-Regular, sans-serif
}
.box {
border-width: 2px;
border-color: green;
border-style: solid;
font-style: normal;
font-weight: lighter;
font-family: verdana, sans-serif;
font-size: 0.8em;
margin-right:2em;
margin-bottom:2em;
margin-top:2em;
}
</style>
<SCRIPT LANGUAGE="JAVASCRIPT" SRC="mycode.js" TYPE="TEXT/JAVASCRIPT">
<!-- //-->
</SCRIPT>
<SCRIPT LANGUAGE="JavaScript">
if (navigator.userAgent.indexOf("4.0") != -1)
jsVersion = "1.2";
else if (navigator.userAgent.indexOf("3.0") != -1)
jsVersion = "1.1";
else
jsVersion = "1.0";
</SCRIPT>
<script language="JavaScript">
/**
Define a function for later use
<p>test html <a href="foo">bar</a></p>
@return nothing
*/
function print_todays_date( ) {
var d = new Date( ); // Get today's date and time
document.write(d.toLocaleString( )); // Insert it into the document
}
</script>
</head>
<body bgcolor="white">
The date and time are:<br>
<script language="JavaScript">
// Now call the function we defined above
print_todays_date( );
</script>
<pre><tt><i><font color="#9A1900">/*</font></i>
<i><font color="#9A1900"> This is a classical Hello program</font></i>
<i><font color="#9A1900"> to test source-highlight with Java programs.</font></i>
<i><font color="#9A1900"> </font></i>
<i><font color="#9A1900"> to have an html translation type</font></i>
<i><font color="#9A1900">/// class</font></i>
<i><font color="#9A1900">// end of file test.java</font></i></tt></pre>
</body>
</html>
<!-- this is an
added HTML comment
at the end of the file -->
|
