blob: dd2c540029a3010d9c857f32ea9aba47606f118a [file] [log] [blame]
Copybara botbe50d492023-11-30 00:16:42 +01001body {font-family:"Times New Roman",serif}
2h1 {font:bold 135% Arial,sans-serif; color:#4000A0; margin-bottom:0.9em}
3h2 {font:bold 95% Arial,sans-serif; color:#900000; margin-top:1.5em; margin-bottom:1em}
4dl.param dt {text-decoration:underline}
5dl.param dd {margin-top:1em; margin-bottom:1em}
6dl.param ul {margin-top:1em; margin-bottom:1em}
7tt, code, kbd {font-family:"Courier New",Courier,monospace; font-size:82%}
8div.source {margin-top:1.4em; margin-bottom:1.3em}
9div.source pre {display:table; border:1px solid #24246A; width:100%; margin:0em; font-family:inherit; font-size:100%}
10div.source code {display:block; border:1px solid #C5C5EC; background-color:#F0F5FF; padding:6px; color:#000000}
11div.doc-source {margin-top:1.4em; margin-bottom:1.3em}
12div.doc-source pre {display:table; width:100%; margin:0em; font-family:inherit; font-size:100%}
13div.doc-source code {display:block; background-color:#E0E0E0; padding:4px}
14.kw {color:#000080; font-weight:bold}
15.str {color:#CC0000}
16.cmt {color:#008000}
17p.demo {text-align:center; margin-top:-0.9em}
18a.demo {text-decoration:none; font-weight:bold; color:#0000CC}
19a.demo:link {text-decoration:none; font-weight:bold; color:#0000CC}
20a.demo:hover {text-decoration:none; font-weight:bold; color:#0000FF}
21a.demo:active {text-decoration:none; font-weight:bold; color:#0000FF}