docset.css 2.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114
  1. body {
  2. background: white;
  3. color: black;
  4. font-family: "lucida grande", geneva, helvetica, arial, sans-serif;
  5. }
  6. h1, h2, h3, h4, h5, h6, p, td, th {
  7. font-family: "lucida grande", geneva, helvetica, arial, sans-serif;
  8. }
  9. kbd {
  10. color: #006600;
  11. font-family: monaco, courier, monospace;
  12. font-weight: bold;
  13. }
  14. pre {
  15. font-family: monaco, courier, monospace;
  16. }
  17. pre.example {
  18. background: white;
  19. border: dotted thin #999999;
  20. margin-left: 36pt;
  21. padding: 10px;
  22. }
  23. pre.example em {
  24. color: #3f0000;
  25. font-family: "lucida grande", geneva, helvetica, arial, sans-serif;
  26. }
  27. div.summary table {
  28. border: solid thin #999999;
  29. border-collapse: collapse;
  30. border-spacing: 0;
  31. margin: 10px;
  32. width: 33%;
  33. }
  34. div.summary table td, div.summary table th {
  35. background: white;
  36. border: solid thin #999999;
  37. border-spacing: 0;
  38. padding: 5px;
  39. text-align: left;
  40. vertical-align: top;
  41. }
  42. div.summary table thead th {
  43. background: #f0f0f0;
  44. }
  45. div.body h1 {
  46. margin: 0;
  47. }
  48. div.body h2 {
  49. margin-top: 1.5em;
  50. }
  51. div.body h3, div.body h4, div.body h5 {
  52. margin-bottom: 0.5em;
  53. margin-top: 1.5em;
  54. }
  55. .class, .enumeration, .function, .struct, .typedef, .union {
  56. border-bottom: solid thin #999999;
  57. margin-bottom: 0;
  58. margin-top: 2em;
  59. }
  60. .description {
  61. margin-top: 0.5em;
  62. }
  63. code, p.code, pre, ul.code li {
  64. font-family: monaco, courier, monospace;
  65. font-size: 90%;
  66. }
  67. ul.code, ul.contents, ul.subcontents {
  68. list-style-type: none;
  69. margin: 0;
  70. padding-left: 0;
  71. }
  72. ul.code li {
  73. margin: 0;
  74. }
  75. ul.contents > li {
  76. margin-top: 1em;
  77. }
  78. ul.contents li ul.code, ul.contents li ul.subcontents {
  79. padding-left: 2em;
  80. }
  81. div.body dl {
  82. margin-left: 0;
  83. margin-top: 0;
  84. }
  85. div.body dt {
  86. font-style: italic;
  87. margin-left: 0;
  88. margin-top: 0;
  89. }
  90. div.body dd {
  91. margin-bottom: 0.5em;
  92. }
  93. span.info {
  94. background: black;
  95. border: thin solid black;
  96. color: white;
  97. font-size: 80%;
  98. font-style: italic;
  99. font-weight: bold;
  100. white-space: nowrap;
  101. }
  102. h2 span.info, h3 span.info, h4 span.info {
  103. float: right;
  104. font-size: 100%;
  105. }