| div.screen { |
| margin: 10px 0px 10px 20px; |
| font-size: smaller; |
| color: #ffffff; |
| } |
| div.example { |
| background-color: #e5ecf3; |
| color: #000; |
| padding: 0.5em; |
| margin: 1em 2em 1em 1em; |
| } |
| pre { |
| font-family: "Courier New", Courier, monospace; |
| font-weight: normal; |
| font-style: normal; |
| font-size: smaller; |
| } |
| em.screen { |
| font-weight: normal; |
| font-style: normal; |
| color: #c0c0c0; |
| } |
| p.screen { |
| background-color: #000000; |
| border-style: none; |
| color: #c0c0c0; |
| margin-left: 10px; |
| margin-right: 0px; |
| text-align: left; |
| } |
| b.screen { |
| font-weight: normal; |
| font-style: normal; |
| color: #c0c0c0; |
| } |
| code.screen { |
| background-color: #000000; |
| border-style: none; |
| color: #c0c0c0; |
| margin-left: 10px; |
| margin-right: 0px; |
| text-align: left; |
| } |
| b.code { |
| font-weight: normal; |
| font-style: normal; |
| color: #023264; |
| } |
| p.todo { |
| background-color: #ffffff; |
| border-style: none; |
| color: #000000; |
| margin-left: 20px; |
| margin-right: 10px; |
| text-align: justify; |
| font-size: smaller; |
| } |