1 /* ============================= */
2 /* Page Header Formattings */
3 /* ============================= */
5 background-color:#E1E7F4;
6 background-image:url('nav_f.png');
7 background-repeat:repeat-x;
10 text-shadow:0 1px 1px rgba(255, 255, 255, 0.9);
17 /* ============================= */
18 /* General Text Formattings */
19 /* ============================= */
21 font-family:Lucida Grande, Verdana, Geneva, Arial, sans-serif;
26 div.header, div.contents p {
30 /* ============================= */
31 /* API Documentation Formattings */
32 /* ============================= */
33 div.contents table.memberdecls, .paramname {
34 font-family:Consolas, Monaco, courier, sans-serif;
39 /* ============================= */
40 /* HTML Heading Formattings */
41 /* ============================= */
43 font-family:Lucida Grande, Verdana, Geneva, Arial, sans-serif;
64 /* ============================= */
65 /* Code Snippet Formattings */
66 /* ============================= */