global.css 3.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187
  1. body {
  2. font-family: Verdana, Arial, Helvetica;
  3. font-size: 12px;
  4. padding: 0 5px 0 5px;
  5. margin: 0;
  6. }
  7. a img {
  8. border: 0;
  9. }
  10. table {
  11. border-collapse: collapse;
  12. }
  13. th {
  14. padding-right: 10px;
  15. }
  16. hr {
  17. border: 1px dotted #aaa;
  18. border-bottom: 0px;
  19. }
  20. #header {
  21. padding-top: 5px;
  22. }
  23. #titles {
  24. height: 32px;
  25. -webkit-border-top-left-radius: 10px;
  26. -webkit-border-top-right-radius: 10px;
  27. -moz-border-top-left-radius: 10px;
  28. -moz-border-top-right-radius: 10px;
  29. }
  30. #title {
  31. text-align: center;
  32. padding-left: 10px;
  33. padding-right: 10px;
  34. font-size: 20px;
  35. text-shadow: #000 1px 1px 5px;
  36. }
  37. #bug_title {
  38. text-align: center;
  39. background-color: #ddd;
  40. padding: 5px;
  41. border: 1px solid #aaa;
  42. }
  43. #header > .links {
  44. -webkit-border-bottom-left-radius: 10px;
  45. -webkit-border-bottom-right-radius: 10px;
  46. -moz-border-botom-left-radius: 10px;
  47. -moz-border-botom-right-radius: 10px;
  48. }
  49. #header h1, #header h2, #header h3 {
  50. font-family: Verdana, Arial, Helvetica;
  51. padding: 0;
  52. margin: 0;
  53. }
  54. #header h1, #header h3 {
  55. font-weight: normal;
  56. }
  57. div#header h2 {
  58. font-weight: bold;
  59. font-size: 14px;
  60. text-align: center;
  61. }
  62. div#navigate {
  63. text-align: center;
  64. /* background-color: #ddd; */
  65. -webkit-border-radius: 10px;
  66. -moz-border-radius: 10px;
  67. padding: 10px 0 10px 0;
  68. }
  69. table#bug_details {
  70. width: 98%;
  71. padding: 10px;
  72. margin: 10px 0 10px 0;
  73. }
  74. table#bug_details select {
  75. width: 150px;
  76. }
  77. table#bug_details #flags {
  78. margin-top: 1.5em;
  79. }
  80. table#bug_details #flags select {
  81. width: auto;
  82. }
  83. table#bug_details #flags th {
  84. display: none;
  85. }
  86. table#bug_details #flags td {
  87. font-weight: bold;
  88. }
  89. #attachment_table {
  90. width: auto;
  91. }
  92. #summary_fields input {
  93. width: 50em;
  94. }
  95. #comment, #description {
  96. width: 98%;
  97. }
  98. span.bz_comment {
  99. display: block;
  100. background-color: #ddd;
  101. border-bottom: 1px dotted #bbb;
  102. padding: 2px 0 2px 0;
  103. }
  104. .bz_comment_text {
  105. /* Do not specify a hard width. Otherwise, comment lines will "pre-wrap"
  106. to the specified width rather than to the window width. */
  107. width: auto;
  108. }
  109. .bz_comment_text > span.quote {
  110. /* Prevent span.quote's "white-space: pre" from styling quoted lines
  111. inside comments. Otherwise, a single quoted line that extends
  112. beyond the window width will cause all non-quoted long lines to
  113. extend beyond the window width as well. */
  114. white-space: inherit;
  115. }
  116. #footer form {
  117. border-top: 1px dotted #aaa;
  118. border-bottom: 1px dotted #aaa;
  119. background-position: right center;
  120. background-repeat: no-repeat;
  121. min-height: 100px;
  122. }
  123. #footer .label {
  124. width: 100px;
  125. font-weight: bold;
  126. }
  127. div.links {
  128. margin-bottom: 6px;
  129. }
  130. .bz_tr_obsolete,
  131. .bz_obsolete, tr.bz_obsolete td, tr.bz_obsolete a {
  132. color: #aaa;
  133. text-decoration: none;
  134. }
  135. .bz_tr_obsolete:hover,
  136. .bz_obsolete:hover, tr.bz_obsolete td:hover, tr.bz_obsolete td:hover a, tr.bz_obsolete td:hover a:hover {
  137. background-color: #ddd;
  138. color: #111;
  139. }
  140. .bz_patch {
  141. }
  142. .bz_alias_short_desc_container {
  143. -webkit-border-radius: 5px;
  144. -moz-border-radius: 5px;
  145. }
  146. .comment_rule {
  147. visibility: collapse;
  148. }
  149. .flag_select {
  150. min-width: 40px;
  151. }