manual.css 414 B

12345678910111213141516171819202122232425262728
  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. font-style: normal ;
  17. padding-top: 0.4em ;
  18. padding-bottom: 0.4em ;
  19. padding-left: 16px ;
  20. margin-left: -16px ;
  21. background-color: #D0D0FF ;
  22. border-radius: 8px ;
  23. border: solid #000080 1px ;
  24. }