utility.css 3.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223
  1. body {
  2. font-family : sans-serif;
  3. font-size : 12px;
  4. background : #eee;
  5. margin-left : auto;
  6. margin-right : auto;
  7. max-width : 800px;
  8. }
  9. form {
  10. margin : 10px 0px 0px 0px;
  11. padding : 0px;
  12. }
  13. div.content {
  14. background : white;
  15. border : 1px solid #ccc;
  16. padding : 10px;
  17. box-shadow : 0px 0px 3px #ccc;
  18. }
  19. p.warning {
  20. color : red;
  21. }
  22. p.query, code {
  23. color : green;
  24. }
  25. p.insensitive {
  26. color : gray;
  27. }
  28. div.insensitive-small {
  29. color : gray;
  30. font-size : 10px;
  31. }
  32. .floatingLogo {
  33. float : right;
  34. position : relative;
  35. top : -10px;
  36. }
  37. a {
  38. color : #4684ff;
  39. text-decoration : none;
  40. }
  41. a:hover {
  42. color : black;
  43. }
  44. div.notice, div.warning, div.error {
  45. padding : 4px 10px 4px 4px;
  46. display : inline-block;
  47. margin : 2px 0px 2px 0px;
  48. font-size : 12px;
  49. box-shadow : 0px 0px 2px #ccc;
  50. }
  51. div.notice {
  52. background : #ecf4ff;
  53. }
  54. div.warning {
  55. background : #fff7d5;
  56. }
  57. div.error {
  58. background : #ffcccc;
  59. }
  60. div.warning img, div.notice img, div.error img {
  61. margin-right : 4px;
  62. float : left;
  63. vertical-align : middle;
  64. }
  65. h1 {
  66. color : #88b0f0;
  67. font-size : 32px;
  68. font-family : serif;
  69. margin : 20px 0px 5px 0px;
  70. text-shadow : 2px 2px 2px #fff;
  71. }
  72. h2 {
  73. color : #88b0f0;
  74. font-size : 14pt;
  75. border-width : 0px 0px 1px 0px;
  76. border-color : #f0f0f0;
  77. border-style : solid;
  78. }
  79. div.content > h2 {
  80. margin-top : 0px;
  81. }
  82. div.rss h1 {
  83. border-width : 0px 0px 1px 0px;
  84. border-color : gray;
  85. border-style : dotted;
  86. color : gray;
  87. margin-right : 90px;
  88. }
  89. div.rss h2 {
  90. font-size : 12pt;
  91. }
  92. div.rss a.extlink {
  93. color : gray;
  94. border-width : 0px 0px 1px 0px;
  95. border-color : #778899;
  96. border-style : dotted;
  97. font-size : 9pt;
  98. }
  99. div.rss img {
  100. max-width : 775px;
  101. }
  102. div.rss p.description {
  103. color : gray;
  104. font-size : 9pt;
  105. }
  106. div.rss div.content {
  107. margin-top : 0.5em;
  108. }
  109. div.rss img.feedicon {
  110. float : right;
  111. }
  112. div.rss hr {
  113. border-width : 0px 0px 1px 0px;
  114. border-style : dashed;
  115. border-color : #e0e0e0;
  116. }
  117. body#sharepopup {
  118. background-color : white;
  119. background-image : url("images/toolbar.png");
  120. background-repeat : repeat-x;
  121. background-position : bottom;
  122. margin : 10px;
  123. padding : 0px;
  124. }
  125. body#sharepopup h1 {
  126. font-size : 14px;
  127. margin : 0px;
  128. color : #88b0f0;
  129. }
  130. body#sharepopup table {
  131. background : white;
  132. border : 1px solid #88b0f0;
  133. padding : 5px;
  134. }
  135. body#sharepopup form {
  136. height : 100%;
  137. }
  138. body#sharepopup input {
  139. width : 100%;
  140. }
  141. div.autocomplete {
  142. position : absolute;
  143. width : 250px;
  144. background-color : white;
  145. border :1px solid #778899;
  146. margin : 0px;
  147. padding : 0px;
  148. z-index : 4;
  149. }
  150. div.autocomplete ul {
  151. list-style-type : none;
  152. margin : 0px;
  153. padding : 0px;
  154. font-size : 10px;
  155. }
  156. div.autocomplete ul li.selected {
  157. background-color : #fff7d5;
  158. }
  159. div.autocomplete ul li {
  160. list-style-type : none;
  161. display : block;
  162. margin : 0;
  163. padding : 2px;
  164. height : 32px;
  165. cursor : pointer;
  166. }
  167. fieldset {
  168. border-width : 0px;
  169. padding : 0px 0px 5px 0px;
  170. margin : 0px;
  171. }
  172. fieldset input {
  173. font-family : sans-serif;
  174. font-size : medium;
  175. border-spacing : 2px;
  176. border : 1px solid #b5bcc7;
  177. padding : 2px;
  178. }
  179. fieldset label {
  180. width : 120px;
  181. margin-right : 20px;
  182. display : inline-block;
  183. text-align : right;
  184. color : gray;
  185. }