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