| @import "../../../PRODUCT_PLUGIN/book.css"; | |
| span.control, span.gui-object-action, p.subhead2, span.bold, p.notep1 { | |
| font-weight: bold; | |
| } | |
| span.name, p.titleinfigure, span.italic { | |
| font-style: italic; | |
| } | |
| p.titleinfigure, p.subhead2 { | |
| padding-top: 10px; | |
| } | |
| span.code { | |
| font-family: monospace; | |
| } | |
| span.copyrightlogo {font-size: 75%} | |
| .footer {padding-top: 2em;} |