jit-optimizations.css 2.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109
  1. /* vim:set ts=2 sw=2 sts=2 et: */
  2. /* This Source Code Form is subject to the terms of the Mozilla Public
  3. * License, v. 2.0. If a copy of the MPL was not distributed with this file,
  4. * You can obtain one at http://mozilla.org/MPL/2.0/. */
  5. /**
  6. * JIT View
  7. */
  8. #jit-optimizations-view {
  9. width: 350px;
  10. min-width: 200px;
  11. white-space: nowrap;
  12. --jit-tree-row-height: 14;
  13. --jit-tree-header-height: 16;
  14. }
  15. /* Override layout styles applied by minimal-xul.css */
  16. #jit-optimizations-view div {
  17. display: block;
  18. }
  19. #jit-optimizations-view span {
  20. display: inline-block;
  21. }
  22. #jit-optimizations-view > div {
  23. /* For elements that need to flex to fill the available space and/or
  24. * scroll on overflow, we need to use the old flexbox model, since the
  25. * parent nodes are in the XUL namespace. The new flexbox model can't
  26. * properly compute dimensions and will ignore `flex: ${number}` properties,
  27. * since no other parent node has a flex display. */
  28. display: -moz-box;
  29. -moz-box-flex: 1;
  30. -moz-box-orient: vertical;
  31. }
  32. #jit-optimizations-view .optimization-header,
  33. #jit-optimizations-view .tree * {
  34. /* We can, however, display child nodes as flex to take advantage of
  35. * horizontal/vertical inlining. */
  36. display: flex;
  37. }
  38. #jit-optimizations-view .optimization-header {
  39. height: var(--jit-tree-header-height);
  40. padding: 2px 5px;
  41. background-color: var(--theme-tab-toolbar-background);
  42. }
  43. #jit-optimizations-view .header-title {
  44. font-weight: bold;
  45. padding-inline-end: 7px;
  46. }
  47. #jit-optimizations-view .tree {
  48. display: -moz-box;
  49. -moz-box-flex: 1;
  50. -moz-box-orient: vertical;
  51. overflow: auto;
  52. background-color: var(--theme-body-background);
  53. }
  54. #jit-optimizations-view .tree-node {
  55. height: var(--jit-tree-row-height);
  56. }
  57. #jit-optimizations-view .tree-node button {
  58. display: none;
  59. }
  60. #jit-optimizations-view .optimization-outcome.success {
  61. color: var(--theme-highlight-green);
  62. }
  63. #jit-optimizations-view .optimization-outcome.failure {
  64. color: var(--theme-highlight-red);
  65. }
  66. .theme-dark .opt-icon::before {
  67. background-image: url(chrome://devtools/skin/images/webconsole.svg);
  68. }
  69. .theme-light .opt-icon::before {
  70. background-image: url(chrome://devtools/skin/images/webconsole.svg#light-icons);
  71. }
  72. .opt-icon::before {
  73. display: inline-block;
  74. content: "";
  75. background-repeat: no-repeat;
  76. background-size: 72px 60px;
  77. /* show grey "i" bubble by default */
  78. background-position: -36px -36px;
  79. width: 10px;
  80. height: 10px;
  81. max-height: 12px;
  82. }
  83. .opt-icon::before {
  84. margin: 1px 6px 0 0;
  85. }
  86. .opt-icon.warning::before {
  87. background-position: -24px -24px;
  88. }
  89. /* Frame Component */
  90. .frame-link {
  91. margin-inline-start: 7px;
  92. }