-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathdoc++-header.html
85 lines (83 loc) · 1.14 KB
/
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
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
81
82
83
84
85
<html lang="ja">
<head>
<meta http-equiv="Content-Type" content="text/html;charset=ascii">
<style type="text/css">
<!--
body
{
font-family:Arial;
font-size:10pt;
color:#000055;
background-color:#f7f7ff;
margin-bottom:100ex;
}
a:link { color:#0000ff; }
a:visited { color:#000055; }
a:active { color:#ff0000; }
a:hover { color:#ff0000; }
h2
{
font-size:12pt;
color:#ffffff;
background-color:#000055;
padding:5pt;
}
h2 a:link { color:#ffffff; }
h2 a:visited { color:#eeeeff; }
h2 a:active { color:#ffff00; }
h2 a:hover { color:#ffff00; }
h3
{
font-size:10pt;
color:#000055;
background-color:#ddddff;
padding:2pt;
}
blockquote
{
border-style: solid solid solid solid;
border-width:1px;
padding:5pt;
}
blockquote dl
{
margin-left:0pt;
margin-right:0pt;
margin-top:5pt;
margin-bottom:5pt;
}
blockquote dt
{
font-weight:bold;
}
code, tt
{
color:550055;
font-family:Courier New;
}
pre
{
border-style: solid solid solid solid;
border-width:1px;
background-color:#ffffff;
color:550055;
font-family:Courier New;
}
i
{
color:#550055;
font-style:normal;
}
p
{
margin:0pt;
padding:0pt;
}
dl
{
margin-left:30pt;
}
-->
</style>
</head>
<body>