manual.css 341 B

123456789101112131415161718192021222324
  1. h3 code {
  2. font-family: inherit ;
  3. font-size: inherit ;
  4. }
  5. pre, code {
  6. font-size: 12pt ;
  7. }
  8. span.apii {
  9. float: right ;
  10. font-family: inherit ;
  11. font-style: normal ;
  12. font-size: small ;
  13. color: gray ;
  14. }
  15. p+h1, ul+h1 {
  16. padding-top: 0.4em ;
  17. padding-bottom: 0.4em ;
  18. padding-left: 30px ;
  19. margin-left: -30px ;
  20. background-color: #E0E0FF ;
  21. }