utility.css 2.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184
  1. body {
  2. margin : 2em;
  3. padding : 0em;
  4. font-family : sans-serif;
  5. font-size : 12px;
  6. }
  7. p.warning {
  8. color : red;
  9. }
  10. p.query, code {
  11. color : green;
  12. }
  13. p.insensitive {
  14. color : gray;
  15. }
  16. div.insensitive-small {
  17. color : gray;
  18. font-size : 10px;
  19. }
  20. .floatingLogo {
  21. float : right;
  22. }
  23. a {
  24. color : #4684ff;
  25. text-decoration : none;
  26. }
  27. a:hover {
  28. color : black;
  29. }
  30. div.notice {
  31. background : #ffffff;
  32. border : 1px solid #88b0f0;
  33. width : 50%;
  34. padding : 5px;
  35. margin : 0px 0px 5px 0px;
  36. font-size : 9pt;
  37. }
  38. div.warning {
  39. background : #fff7d5;
  40. border : 1px solid #d7c47a;
  41. font-size : 9pt;
  42. width : 50%;
  43. padding : 5px;
  44. margin : 0px 0px 5px 0px;
  45. }
  46. div.warning img, div.notice img, div.error img {
  47. vertical-align : middle;
  48. padding : 5px;
  49. }
  50. div.error {
  51. border : 1px solid #ff0000;
  52. background : #ffcccc;
  53. padding : 5px;
  54. margin : 0px 0px 5px 0px;
  55. font-size : 9pt;
  56. }
  57. h1 {
  58. color : #88b0f0;
  59. font-size : 16pt;
  60. /* border-width : 0px 0px 1px 0px;
  61. border-color : black;
  62. border-style : solid; */
  63. }
  64. h2 {
  65. color : #88b0f0;
  66. font-size : 14pt;
  67. /* border-width : 0px 0px 1px 0px;
  68. border-color : black;
  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. }