diff options
Diffstat (limited to 'doc/header.html')
| -rw-r--r-- | doc/header.html | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/doc/header.html b/doc/header.html new file mode 100644 index 0000000..58dc0da --- /dev/null +++ b/doc/header.html | |||
| @@ -0,0 +1,39 @@ | |||
| 1 | <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en"> | ||
| 2 | <head> | ||
| 3 | <meta http-equiv="content-type" content="text/html; charset=utf-8" /> | ||
| 4 | <title>Unit-Trace</title> | ||
| 5 | <style type="text/css"> | ||
| 6 | html { | ||
| 7 | background-color : #EFEBE7; | ||
| 8 | font-family : Arial, Helvetica, sans-serif; | ||
| 9 | margin-bottom : 0px; | ||
| 10 | margin-left : 0px; | ||
| 11 | margin-right : 0px; | ||
| 12 | margin-top : 0px; | ||
| 13 | padding-bottom : 0px; | ||
| 14 | padding-left : 0px; | ||
| 15 | padding-right : 0px; | ||
| 16 | padding-top : 0px; | ||
| 17 | } | ||
| 18 | h1 { | ||
| 19 | text-align: center; | ||
| 20 | } | ||
| 21 | |||
| 22 | h2 { | ||
| 23 | margin-top: 50px; | ||
| 24 | text-align: center; | ||
| 25 | } | ||
| 26 | codeblock { | ||
| 27 | padding: 0px 15px; | ||
| 28 | margin: 5px 0 15px; | ||
| 29 | border-left: 5px solid #666666; | ||
| 30 | background: #222222; | ||
| 31 | font: 1em/1.5 "Courier News", monospace; | ||
| 32 | color: #bbbbbb; | ||
| 33 | overflow : auto; | ||
| 34 | } | ||
| 35 | |||
| 36 | </style> | ||
| 37 | </head> | ||
| 38 | <body> | ||
| 39 | <div style="width: 60%; margin-left: auto; margin-right: auto; text-align: justify"> | ||