common.css 2.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196
  1. body {
  2. font-family: arial, verdana, serif;
  3. font-weight: normal;
  4. font-size: 10pt;
  5. }
  6. /* navbar */
  7. body.navbar {
  8. background-color: black;
  9. color: white;
  10. font-family: verdana,arial,serif;
  11. }
  12. .navbarlogo {
  13. margin: 0 0 10px 0;
  14. }
  15. .navsection {
  16. margin: 5px 0 10px 0;
  17. color: #DEE7C6;
  18. }
  19. .navsectiontitle {
  20. font-size: 10pt;
  21. font-weight: bold;
  22. border:1px solid #DEE7C6;
  23. padding: 2px;
  24. }
  25. div.navsectionlinks {
  26. margin: 3px 0 0 0;
  27. }
  28. ul.navsectionlinks {
  29. margin: 0px;
  30. padding: 0px;
  31. list-style: none;
  32. }
  33. ul.navsectionlinks li {
  34. }
  35. ul.navsectionlinks li ul {
  36. margin: 0px;
  37. padding: 0 0 0 30px;
  38. list-style: disc;
  39. }
  40. ul.navsectionlinks li ul li {
  41. }
  42. ul.navsectionlinks li ul li a {
  43. color: #DEE7C6;
  44. background: none;
  45. padding: 0;
  46. }
  47. ul.navsectionlinks li ul li a:hover {
  48. color: #FFC47F;
  49. background: none;
  50. }
  51. ul.navsectionlinks li ul li ul {
  52. margin: 0px;
  53. padding: 0 0 0 15px;
  54. list-style: circle;
  55. }
  56. .navbarsearch {
  57. margin: 5px 0 0 0;
  58. }
  59. .navbarsearch fieldset {
  60. border: none;
  61. }
  62. .navbarsearch fieldset legend {
  63. font-size: 8pt;
  64. }
  65. .navbarsearch input{
  66. font-size: 8pt;
  67. color: black;
  68. background-color: white;
  69. }
  70. /* main page */
  71. #splashpage{
  72. text-align: center;
  73. }
  74. #mainbrandsplash{
  75. font-size: 12pt;
  76. font-weight: bold;
  77. margin: 0 0 35px 0;
  78. }
  79. #maincopy{
  80. margin: 0 0 15px 0;
  81. }
  82. #currentversioninfo{
  83. font-size: 12pt;
  84. }
  85. #currentversioninfo .version{
  86. font-size: 14pt;
  87. font-weight: bold;
  88. }
  89. #currentversioninfo .releasedate{
  90. font-size: 11pt;
  91. margin: 5px 0 0 0;
  92. }
  93. #currentversioninfo .whatsnew{
  94. font-size: 11pt;
  95. font-weight: bold;
  96. margin: 10px 0 0 0;
  97. }
  98. #developer{
  99. font-size: 10pt;
  100. }
  101. #developer .doxygen{
  102. font-size: 10pt;
  103. font-weight: bold;
  104. margin: 10px 0 0 0;
  105. }
  106. #updateversioninfo{
  107. margin: 15px auto 50px auto;
  108. width: 400px;
  109. }
  110. .updatechecksdisabled{
  111. background-color: #FF9F9F;
  112. border: 1px solid red;
  113. padding: 10px;
  114. }
  115. .updatechecksdisabled div.warningmessage{
  116. font-weight: bold;
  117. }
  118. #updateversioninfo div.submessage{
  119. clear: left;
  120. }
  121. .updateavailable{
  122. background-color: #9FD4FF;
  123. border: 1px solid blue;
  124. padding: 10px;
  125. }
  126. .updateavailable div.updatemessage{
  127. font-size: 12pt;
  128. font-weight: bold;
  129. }
  130. #splashpage #mainfooter{
  131. margin: 25px 0 0 0;
  132. font-size: 8pt;
  133. }
  134. #splashpage #mainfooter .disclaimer{
  135. width: 80%;
  136. margin: auto;
  137. }
  138. #splashpage #mainfooter .logos{
  139. margin: 15px 0 0 0;
  140. }
  141. a img {
  142. border: none;
  143. }
  144. .csv_export_link{
  145. text-align: right;
  146. }
  147. .errorBox {
  148. border:1px red solid;
  149. background-color: #FFE5E5;
  150. width:600px;
  151. }
  152. .errorMessage {
  153. text-align:left;
  154. font-weight: bold;
  155. margin:1em;
  156. font-size: 10pt;
  157. }
  158. .errorDescription,
  159. .successMessage {
  160. text-align:left;
  161. margin:1em;
  162. font-size: 10pt;
  163. }