reference.css 1.5 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879
  1. /* reference.css, a stylesheet for reference documentation
  2. * generated by the DocBook XSL Stylesheets */
  3. /* $Id: reference.css 8234 2009-02-09 12:10:48Z xmldoc $ */
  4. div.legalnotice {
  5. font-size: 80%;
  6. }
  7. div.note, div.tip, div.warning {
  8. margin-left: 5%;
  9. margin-right: 10%;
  10. padding: 5px;
  11. }
  12. div.note, div.tip {
  13. border-left: solid #d5dee3 20px;
  14. border-right: solid #d5dee3 20px;
  15. }
  16. div.note, div.tip {
  17. border-left: solid palegreen 20px;
  18. border-right: solid palegreen 20px;
  19. }
  20. div.warning {
  21. border-left: solid yellow 20px;
  22. border-right: solid yellow 20px;
  23. }
  24. div.note p, div.tip p, div.warning p {
  25. margin-top: 0px;
  26. margin-bottom: 4px;
  27. }
  28. div.note h3, div.tip h3, div.warning h3 {
  29. margin-top: 0;
  30. }
  31. div.informalexample {
  32. background-color: #d5dee3;
  33. border-top-width: 2px;
  34. border-top-style: double;
  35. border-top-color: #d3d3d3;
  36. border-bottom-width: 2px;
  37. border-bottom-style: double;
  38. border-bottom-color: #d3d3d3;
  39. padding: 4px;
  40. margin: 0em;
  41. margin-left: 2em;
  42. }
  43. pre.programlisting, pre.synopsis {
  44. whitespace: pre;
  45. font-family: monospace;
  46. background-color: #d5dee3;
  47. border-top-width: 1px;
  48. border-top-style: single;
  49. border-top-color: #d3d3d3;
  50. border-bottom-width: 1px;
  51. border-bottom-style: single;
  52. border-bottom-color: #d3d3d3;
  53. padding: 4px;
  54. margin: 0em;
  55. margin-top: 6px;
  56. margin-bottom: 6px;
  57. }
  58. div.informalexample pre {
  59. whitespace: pre;
  60. font-family: monospace;
  61. border-top-width: 0px;
  62. border-bottom-width: 0px;
  63. padding: 0px;
  64. }
  65. /* Parameter and PI titles */
  66. div.refnamediv h2 {
  67. font-size: 2em;
  68. }