doc/header.html


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

<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
<head>
	<meta http-equiv="content-type" content="text/html; charset=utf-8" />
	<title>Unit-Trace</title>
	<style type="text/css">
    html {
        background-color : #EFEBE7;
        font-family : Arial, Helvetica, sans-serif;
        margin-bottom : 0px;
        margin-left : 0px;
        margin-right : 0px;
        margin-top : 0px;
        padding-bottom : 0px;
        padding-left : 0px;
        padding-right : 0px;
        padding-top : 0px;
      }
    h1 {
        text-align: center;
    }

    h2 {
        margin-top: 50px;
        text-align: center;
    }
    h3 {
        margin-top: 30px;
        text-align: center;
    }
    codeblock {
        padding: 0px 15px;
        margin: 5px 0 15px;
        border-left: 5px solid #666666;
        background: #222222;
        font: 1em/1.5 "Courier News", monospace;
        color: #bbbbbb;
        overflow : auto;
    }

	</style>
</head>
<body>
<div style="width: 60%; margin-left: auto; margin-right: auto; text-align: justify">