| /* Pretty printing styles. Used with prettify.js. |
| * |
| * This version is slight modified based on the original version. |
| * |
| * Name: Stanley Ng |
| * Email: stanleyhlng@googlegroups.com |
| * |
| * Reference: |
| * http://code.google.com/p/google-code-prettify/source/browse/trunk/src/prettify.css |
| */ |
| .pln { |
| color: #ffffff; } |
| |
| .str { |
| color: #d1f1a9; } |
| |
| .kwd { |
| color: #ebbbff; } |
| |
| .com { |
| color: #7285b7; |
| font-style: italic; } |
| |
| .typ { |
| color: #bbdaff; } |
| |
| .lit { |
| color: #ffc58f; } |
| |
| .pun { |
| color: #ffffff; } |
| |
| .opn { |
| color: #ffffff; } |
| |
| .clo { |
| color: #ffffff; } |
| |
| .tag { |
| color: #ff9da4; } |
| |
| .atn { |
| color: #ffc58f; } |
| |
| .atv { |
| color: #99ffff; } |
| |
| .dec { |
| color: #ffc58f; } |
| |
| .var { |
| color: #ff9da4; } |
| |
| .fun { |
| color: #bbdaff; } |
| |
| /* Put a border around prettyprinted code snippets. */ |
| pre.prettyprint { |
| background-color: #002451; |
| padding: 10px; |
| border: 1px solid #E1E1E8; } |
| |
| /* Specify class=linenums on a pre to get line numbering */ |
| ol.linenums { |
| color: #7285b7; |
| margin: 0 0 0 40px; } |
| |
| ol.linenums li { |
| line-height: 18px; |
| padding-left: 12px; } |