preferences.less 1.8 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192
  1. .table > tbody > tr > td, .table > tbody > tr > th {
  2. vertical-align: middle !important;
  3. }
  4. .nav-tabs.nav-justified{
  5. margin-bottom: 20px;
  6. }
  7. p {
  8. margin: 10px 0;
  9. }
  10. input.cursor-text {
  11. margin: 10px 0;
  12. }
  13. .engine-tooltip {
  14. display: none;
  15. position: absolute;
  16. padding: 0.5rem 1rem;
  17. margin: 0rem 0 0 2rem;
  18. border: 1px solid #ddd;
  19. box-shadow: 2px 2px 2px 0px rgba(0,0,0,0.1);
  20. background: white;
  21. font-size: 14px;
  22. font-weight: normal;
  23. z-index: 1000000;
  24. max-width: 40rem;
  25. }
  26. td:hover .engine-tooltip, th:hover .engine-tooltip, .engine-tooltip:hover {
  27. display: inline-block;
  28. }
  29. /* stacked-bar-chart */
  30. .stacked-bar-chart {
  31. margin: 0;
  32. padding: 0 0.125rem 0 3rem;
  33. width: 100%;
  34. width: -moz-available;
  35. width: -webkit-fill-available;
  36. width: fill;
  37. flex-direction: row;
  38. flex-wrap: nowrap;
  39. flex-grow: 1;
  40. align-items: center;
  41. display: inline-flex;
  42. }
  43. .stacked-bar-chart-value {
  44. width: 3rem;
  45. display: inline-block;
  46. position: absolute;
  47. padding: 0 0.5rem;
  48. text-align: right;
  49. }
  50. .stacked-bar-chart-base {
  51. display:flex;
  52. flex-shrink: 0;
  53. flex-grow: 0;
  54. flex-basis: unset;
  55. }
  56. .stacked-bar-chart-median {
  57. .stacked-bar-chart-base();
  58. background: @stacked-bar-chart;
  59. border: 1px solid fade(@stacked-bar-chart, 90%);
  60. padding: 0.3rem 0;
  61. }
  62. .stacked-bar-chart-rate80 {
  63. .stacked-bar-chart-base();
  64. background: transparent;
  65. border: 1px solid fade(@stacked-bar-chart, 30%);
  66. padding: 0.3rem 0;
  67. }
  68. .stacked-bar-chart-rate95 {
  69. .stacked-bar-chart-base();
  70. background: transparent;
  71. border-bottom: 1px dotted fade(@stacked-bar-chart, 50%);
  72. padding: 0;
  73. }
  74. .stacked-bar-chart-rate100 {
  75. .stacked-bar-chart-base();
  76. background: transparent;
  77. border-left: 1px solid fade(@stacked-bar-chart, 90%);
  78. padding: 0.4rem 0;
  79. width: 1px;
  80. }