fui.css 3.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191
  1. h1 {
  2. margin-top: 0;
  3. font-size: 18pt;
  4. }
  5. h1 + p {
  6. margin-bottom: 20px;
  7. }
  8. h2 {
  9. margin-top: 0;
  10. font-size: 16pt;
  11. }
  12. h2 + p {
  13. margin-bottom: 18px;
  14. }
  15. h3 {
  16. font-size: 13pt;
  17. }
  18. a#server-status-light {
  19. display: inline-block;
  20. margin: 0;
  21. padding-left: 8px;
  22. padding-top: 2px;
  23. }
  24. #server-status-light span {
  25. width: 24px;
  26. height: 24px;
  27. border-radius: 12px;
  28. display: inline-block;
  29. margin-bottom: -8px;
  30. }
  31. #server-status-light span.server-up {
  32. background-color: #38a800;
  33. border:1px solid #4b9b23;
  34. background:-webkit-gradient(linear, left top, left bottom, color-stop(0.05, #59e811), color-stop(1, #38a800));
  35. background:-moz-linear-gradient(top, #59e811 5%, #38a800 100%);
  36. background:-webkit-linear-gradient(top, #59e811 5%, #38a800 100%);
  37. background:-o-linear-gradient(top, #59e811 5%, #38a800 100%);
  38. background:-ms-linear-gradient(top, #59e811 5%, #38a800 100%);
  39. background:linear-gradient(to bottom, #59e811 5%, #38a800 100%);
  40. filter:progid:DXImageTransform.Microsoft.gradient(startColorstr='#59e811', endColorstr='#38a800',GradientType=0);
  41. }
  42. #server-status-light span.server-down {
  43. background-color: #d21e1e;
  44. border:1px solid #a02323;
  45. background:-webkit-gradient(linear, left top, left bottom, color-stop(0.05, #ed2424), color-stop(1, #d21e1e));
  46. background:-moz-linear-gradient(top, #ed2424 5%, #d21e1e 100%);
  47. background:-webkit-linear-gradient(top, #ed2424 5%, #d21e1e 100%);
  48. background:-o-linear-gradient(top, #ed2424 5%, #d21e1e 100%);
  49. background:-ms-linear-gradient(top, #ed2424 5%, #d21e1e 100%);
  50. background:linear-gradient(to bottom, #ed2424 5%, #d21e1e 100%);
  51. filter:progid:DXImageTransform.Microsoft.gradient(startColorstr='#fbb450', endColorstr='#f89306',GradientType=0);
  52. }
  53. a.navbar-brand {
  54. padding-top: 0;
  55. padding-bottom: 0;
  56. font-size: 15px;
  57. line-height: 1.0;
  58. }
  59. a.navbar-brand div {
  60. display: inline-block;
  61. }
  62. a.navbar-brand img {
  63. margin-top: -25px;
  64. }
  65. .navbar-right {
  66. color: #777;
  67. line-height: 1.0;
  68. }
  69. .navbar-item {
  70. padding-top: 15px;
  71. padding-right: 4px;
  72. }
  73. .navbar-nav > li > a > i {
  74. color: #428bca;
  75. }
  76. .options-list {
  77. margin-bottom: 5px;
  78. }
  79. .validation-warning {
  80. display:none;
  81. }
  82. .has-error .validation-warning, .has-warning .validation-warning {
  83. display:block;
  84. }
  85. .current-dataset {
  86. margin-right: 20px;
  87. }
  88. .current-datasets {
  89. margin-top: 20px;
  90. margin-bottom: 20px;
  91. }
  92. .status-indicator {
  93. padding-top: 10px;
  94. }
  95. .select-picker-label {
  96. height: 30px;
  97. vertical-align: middle;
  98. display: inline-block;
  99. }
  100. .content-frame {
  101. background-color: #eee;
  102. border: 1px solid #aaa;
  103. border-radius: 5px;
  104. padding: 5px;
  105. }
  106. .tab-pane > div {
  107. background-color: white;
  108. border-radius: 3px;
  109. }
  110. #sparqlEndpoint {
  111. min-width: 300px;
  112. }
  113. #fileuploadForm .progress {
  114. margin-top: 0;
  115. margin-bottom: 5px;
  116. }
  117. .tab-pane .with-dataset {
  118. padding: 5px;
  119. }
  120. .file-description {
  121. margin-top: 10px;
  122. }
  123. .graph-label label {
  124. text-align: right;
  125. padding-top: 5px;
  126. }
  127. .dl-horizontal dt {
  128. width: 240px;
  129. }
  130. .dl-horizontal dd {
  131. margin-left: 260px
  132. }
  133. dt span.heading, dd span.heading {
  134. font-weight: bold;
  135. background-color: #eee;
  136. padding: 3px 8px;
  137. }
  138. dt span.heading {
  139. padding-right: 2px;
  140. }
  141. dd span.heading {
  142. padding-left: 2px;
  143. }
  144. dt.font-weight-normal {
  145. font-weight: normal;
  146. }
  147. dd .numeric {
  148. display: inline-block;
  149. min-width: 4em;
  150. text-align: right;
  151. }
  152. .bordered-box {
  153. border: 1px solid #ccc;
  154. border-radius: 5px;
  155. }
  156. .pull-right > button {
  157. margin: 10px 2px 0 0;
  158. }