utility.css 2.9 KB

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