qonsole.css 5.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172
  1. /* Copyright (c) 2012-2013 Epimorphics Ltd. Released under Apache License 2.0 http://www.apache.org/licenses/ */
  2. .qonsole h2, .query-chrome label {
  3. font-size: 10px;
  4. color: #666666;
  5. margin: 0;
  6. text-transform: uppercase;
  7. display: block;
  8. font-weight: normal;
  9. }
  10. .qonsole .well {
  11. padding: 5px;
  12. }
  13. .qonsole h2+ul {
  14. display: inline-block;
  15. }
  16. .navbar h1.brand, .navbar h2.brand {
  17. line-height: 12px;
  18. }
  19. .navbar h1.brand {
  20. font-weight: bold;
  21. font-size: 16pt;
  22. display: inline-block;
  23. }
  24. h2.brand {
  25. display: inline-block;
  26. font-size: 14pt;
  27. }
  28. .query-chrome {
  29. margin-top: 1em;
  30. }
  31. .timeTaken {
  32. font-style: italic;
  33. text-transform: none;
  34. color: #666;
  35. margin-bottom: 5px;
  36. }
  37. pre.results-plain {
  38. overflow: auto;
  39. word-wrap: normal;
  40. white-space: pre;
  41. }
  42. .well ul {
  43. margin-bottom: 0;
  44. }
  45. .well ul li {
  46. margin-bottom: 2px;
  47. margin-top: 2px;
  48. }
  49. a.run-query {
  50. margin-left: 10px;
  51. }
  52. footer {
  53. font-size: smaller;
  54. color: #99999f;
  55. border: 1px solid #ddd;
  56. border-radius: 5px;
  57. padding: 5px;
  58. }
  59. footer p {
  60. margin: 0;
  61. }
  62. /* Custom buttons */
  63. .btn-custom1, .btn-custom2.active {
  64. background-color: hsl(201, 91%, 39%) !important;
  65. background-repeat: repeat-x;
  66. filter: progid:DXImageTransform.Microsoft.gradient(startColorstr="#087ebd", endColorstr="#087ebd");
  67. background-image: -khtml-gradient(linear, left top, left bottom, from(#087ebd), to(#087ebd));
  68. background-image: -moz-linear-gradient(top, #087ebd, #087ebd);
  69. background-image: -ms-linear-gradient(top, #087ebd, #087ebd);
  70. background-image: -webkit-gradient(linear, left top, left bottom, color-stop(0%, #087ebd), color-stop(100%, #087ebd));
  71. background-image: -webkit-linear-gradient(top, #087ebd, #087ebd);
  72. background-image: -o-linear-gradient(top, #087ebd, #087ebd);
  73. background-image: linear-gradient(#087ebd, #087ebd);
  74. border-color: #087ebd #087ebd hsl(201, 91%, 39%);
  75. color: #fff !important;
  76. text-shadow: 0 -1px 0 rgba(0, 0, 0, 0.00);
  77. -webkit-font-smoothing: antialiased;
  78. }
  79. .btn-custom1:hover, .btn-custom2.active:hover {
  80. background-color: hsl(201, 91%, 43%) !important;
  81. background-repeat: repeat-x;
  82. filter: progid:DXImageTransform.Microsoft.gradient(startColorstr="#098bd1", endColorstr="#098bd1");
  83. background-image: -khtml-gradient(linear, left top, left bottom, from(#098bd1), to(#098bd1));
  84. background-image: -moz-linear-gradient(top, #098bd1, #098bd1);
  85. background-image: -ms-linear-gradient(top, #098bd1, #098bd1);
  86. background-image: -webkit-gradient(linear, left top, left bottom, color-stop(0%, #098bd1), color-stop(100%, #098bd1));
  87. background-image: -webkit-linear-gradient(top, #098bd1, #098bd1);
  88. background-image: -o-linear-gradient(top, #098bd1, #098bd1);
  89. background-image: linear-gradient(#098bd1, #098bd1);
  90. border-color: #098bd1 #098bd1 hsl(201, 91%, 43%);
  91. color: #fff !important;
  92. text-shadow: 0 -1px 0 rgba(0, 0, 0, 0.00);
  93. -webkit-font-smoothing: antialiased;
  94. }
  95. .btn-custom2 {
  96. background-color: hsl(193, 32%, 75%) !important;
  97. background-repeat: repeat-x;
  98. filter: progid:DXImageTransform.Microsoft.gradient(startColorstr="#aacad3", endColorstr="#aacad3");
  99. background-image: -khtml-gradient(linear, left top, left bottom, from(#aacad3), to(#aacad3));
  100. background-image: -moz-linear-gradient(top, #aacad3, #aacad3);
  101. background-image: -ms-linear-gradient(top, #aacad3, #aacad3);
  102. background-image: -webkit-gradient(linear, left top, left bottom, color-stop(0%, #aacad3), color-stop(100%, #aacad3));
  103. background-image: -webkit-linear-gradient(top, #aacad3, #aacad3);
  104. background-image: -o-linear-gradient(top, #aacad3, #aacad3);
  105. background-image: linear-gradient(#aacad3, #aacad3);
  106. border-color: #aacad3 #aacad3 hsl(193, 32%, 75%);
  107. color: #333 !important;
  108. text-shadow: 0 1px 1px rgba(255, 255, 255, 0.00);
  109. -webkit-font-smoothing: antialiased;
  110. }
  111. .btn-custom2:hover {
  112. background-color: hsl(193, 31%, 70%) !important;
  113. background-repeat: repeat-x;
  114. filter: progid:DXImageTransform.Microsoft.gradient(startColorstr="#9abfca", endColorstr="#9abfca");
  115. background-image: -khtml-gradient(linear, left top, left bottom, from(#9abfca), to(#9abfca));
  116. background-image: -moz-linear-gradient(top, #9abfca, #9abfca);
  117. background-image: -ms-linear-gradient(top, #9abfca, #9abfca);
  118. background-image: -webkit-gradient(linear, left top, left bottom, color-stop(0%, #9abfca), color-stop(100%, #9abfca));
  119. background-image: -webkit-linear-gradient(top, #9abfca, #9abfca);
  120. background-image: -o-linear-gradient(top, #9abfca, #9abfca);
  121. background-image: linear-gradient(#9abfca, #9abfca);
  122. border-color: #9abfca #9abfca hsl(193, 31%, 70%);
  123. color: #333 !important;
  124. text-shadow: 0 1px 1px rgba(255, 255, 255, 0.00);
  125. -webkit-font-smoothing: antialiased;
  126. }
  127. .auto-overflow {
  128. overflow: auto;
  129. }
  130. .CodeMirror-foldmarker {
  131. color: blue;
  132. text-shadow: #b9f 1px 1px 2px, #b9f -1px -1px 2px, #b9f 1px -1px 2px, #b9f -1px 1px 2px;
  133. font-family: arial;
  134. line-height: .3;
  135. cursor: pointer;
  136. }
  137. .CodeMirror-foldgutter {
  138. width: .7em;
  139. }
  140. .CodeMirror-foldgutter-open,
  141. .CodeMirror-foldgutter-folded {
  142. color: #555;
  143. cursor: pointer;
  144. }
  145. .CodeMirror-foldgutter-open:after {
  146. content: "\25BE";
  147. }
  148. .CodeMirror-foldgutter-folded:after {
  149. content: "\25B8";
  150. }