body { font:80% Verdana,Tahoma,Arial,sans-serif; } h1, h2, h3, h4 { font-family: Trebuchet MS,Georgia,"Times New Roman",serif; } pre, code { font-size:120%; font-family: Consolas, Menlo, "Liberation Mono", Courier, monospace; } pre code { font-size:100%; } pre { margin: 1em 1em 1em 1.6em; padding: 2px; background-color: #fafafa; border: 1px solid #e2e2e2; width: auto; overflow-x: auto; overflow-y: hidden; } a, a:link, a:visited{ color: #169; text-decoration: none; } a:hover, a:active{ color: #c61a1a; text-decoration: underline;} a.new { color: #b73535; } table.sample { border-collapse: collapse; border-spacing: 0; margin: 4px; margin-left: 30px;} table.sample th, table.sample td { border: solid 1px #bbb; padding: 4px; height: 1em; } .syntaxhl .c1 { color: #888888 } .syntaxhl .k { color: #008800; font-weight: bold } .syntaxhl .nc { color: #BB0066; font-weight: bold } .syntaxhl .nf { color: #0066BB; font-weight: bold } .syntaxhl .nb { color: #007020 } .syntaxhl .vi { color: #3333BB } .syntaxhl .o { color: #333333 } .syntaxhl .s2 { background-color: #fff0f0 } .syntaxhl .si { background-color: #eeeeee }