utility.css 3.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219
  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.rss h1 {
  80. border-width : 0px 0px 1px 0px;
  81. border-color : gray;
  82. border-style : dotted;
  83. color : gray;
  84. margin-right : 90px;
  85. }
  86. div.rss h2 {
  87. font-size : 12pt;
  88. }
  89. div.rss a.extlink {
  90. color : gray;
  91. border-width : 0px 0px 1px 0px;
  92. border-color : #778899;
  93. border-style : dotted;
  94. font-size : 9pt;
  95. }
  96. div.rss img {
  97. max-width : 775px;
  98. }
  99. div.rss p.description {
  100. color : gray;
  101. font-size : 9pt;
  102. }
  103. div.rss div.content {
  104. margin-top : 0.5em;
  105. }
  106. div.rss img.feedicon {
  107. float : right;
  108. }
  109. div.rss hr {
  110. border-width : 0px 0px 1px 0px;
  111. border-style : dashed;
  112. border-color : #e0e0e0;
  113. }
  114. body#sharepopup {
  115. background-color : white;
  116. background-image : url("images/toolbar.png");
  117. background-repeat : repeat-x;
  118. background-position : bottom;
  119. margin : 10px;
  120. padding : 0px;
  121. }
  122. body#sharepopup h1 {
  123. font-size : 14px;
  124. margin : 0px;
  125. color : #88b0f0;
  126. }
  127. body#sharepopup table {
  128. background : white;
  129. border : 1px solid #88b0f0;
  130. padding : 5px;
  131. }
  132. body#sharepopup form {
  133. height : 100%;
  134. }
  135. body#sharepopup input {
  136. width : 100%;
  137. }
  138. div.autocomplete {
  139. position : absolute;
  140. width : 250px;
  141. background-color : white;
  142. border :1px solid #778899;
  143. margin : 0px;
  144. padding : 0px;
  145. z-index : 4;
  146. }
  147. div.autocomplete ul {
  148. list-style-type : none;
  149. margin : 0px;
  150. padding : 0px;
  151. font-size : 10px;
  152. }
  153. div.autocomplete ul li.selected {
  154. background-color : #fff7d5;
  155. }
  156. div.autocomplete ul li {
  157. list-style-type : none;
  158. display : block;
  159. margin : 0;
  160. padding : 2px;
  161. height : 32px;
  162. cursor : pointer;
  163. }
  164. fieldset {
  165. border-width : 0px;
  166. padding : 0px 0px 5px 0px;
  167. margin : 0px;
  168. }
  169. fieldset input {
  170. font-family : sans-serif;
  171. font-size : medium;
  172. border-spacing : 2px;
  173. border : 1px solid #b5bcc7;
  174. padding : 2px;
  175. }
  176. fieldset label {
  177. width : 120px;
  178. margin-right : 20px;
  179. display : inline-block;
  180. text-align : right;
  181. color : gray;
  182. }