doc/website/winpt-style.css

.style1 {
 font-family: Verdana, Arial, Helvetica, sans-serif;
 font-weight: bold;
 font-size: 24px;
 color: #000000;
}

.style2 {
 font-family: Verdana, Arial, Helvetica, sans-serif
}

.style3 {
 font-family: Verdana, Arial, Helvetica, sans-serif; 
 font-size: 10px; 
}

.style4 {
 font-family: Verdana, Arial, Helvetica, sans-serif; 
 font-weight: bold; 
}

.style_menu {
 font-family: Verdana, Arial, Helvetica, sans-serif
 font-weight: bold;
 font-size: 17px;
}


p.extra {
 line-height:160%;
 white-space:nowrap;
}

a:link {
 color: #0000CC;
 text-decoration: none;
}

a:visited {
 text-decoration: none;
 color: #0000CC;
}

a:hover {
 text-decoration: underline;
 color: #0000CC;
}

a:active {
 text-decoration: none;
 color: #0000CC;
}

1	.style1 {
2	font-family: Verdana, Arial, Helvetica, sans-serif;
3	font-weight: bold;
4	font-size: 24px;
5	color: #000000;
6	}
7
8	.style2 {
9	font-family: Verdana, Arial, Helvetica, sans-serif
10	}
11
12	.style3 {
13	font-family: Verdana, Arial, Helvetica, sans-serif;
14	font-size: 10px;
15	}
16
17	.style4 {
18	font-family: Verdana, Arial, Helvetica, sans-serif;
19	font-weight: bold;
20	}
21
22	.style_menu {
23	font-family: Verdana, Arial, Helvetica, sans-serif
24	font-weight: bold;
25	font-size: 17px;
26	}
27
28
29	p.extra {
30	line-height:160%;
31	white-space:nowrap;
32	}
33
34	a:link {
35	color: #0000CC;
36	text-decoration: none;
37	}
38
39	a:visited {
40	text-decoration: none;
41	color: #0000CC;
42	}
43
44	a:hover {
45	text-decoration: underline;
46	color: #0000CC;
47	}
48
49	a:active {
50	text-decoration: none;
51	color: #0000CC;
52	}
53