1. .Tab,
    
  2. .TabCurrent,
    
  3. .TabDisabled {
    
  4.   height: 100%;
    
  5.   display: flex;
    
  6.   align-items: center;
    
  7.   cursor: pointer;
    
  8.   border-top: 3px solid transparent;
    
  9.   border-bottom: 3px solid transparent;
    
  10.   user-select: none;
    
  11.   color: var(--color-text);
    
  12. 
    
  13.   /* Hide radio buttons for Firefox too */
    
  14.   position:  relative;
    
  15. 
    
  16.   /* Electron drag area */
    
  17.   -webkit-app-region: no-drag;
    
  18. }
    
  19. .Tab:hover,
    
  20. .TabCurrent:hover {
    
  21.   background-color: var(--color-background-hover);
    
  22. }
    
  23. .Tab:focus-within,
    
  24. .TabCurrent:focus-within {
    
  25.   background-color: var(--color-background-hover);
    
  26. }
    
  27. 
    
  28. .TabCurrent {
    
  29.   border-bottom: 3px solid var(--color-tab-selected-border);
    
  30. }
    
  31. 
    
  32. .TabDisabled {
    
  33.   color: var(--color-dim);
    
  34.   cursor: default;
    
  35. }
    
  36. 
    
  37. .TabSizeNavigation {
    
  38.   font-size: var(--font-size-sans-large);
    
  39.   padding: 0.5rem 1rem;
    
  40. }
    
  41. .TabSizeProfiler {
    
  42.   font-size: var(--font-size-sans-normal);
    
  43.   padding: 0.25rem 0.5rem;
    
  44. }
    
  45. .TabSizeSettings {
    
  46.   font-size: var(--font-size-sans-normal);
    
  47.   padding: 0.25rem 0.5rem;
    
  48. }
    
  49. 
    
  50. .Input {
    
  51.   width: 0;
    
  52.   margin: 0;
    
  53.   opacity: 0;
    
  54. 
    
  55.   /* Hide radio buttons for Firefox too */
    
  56.   position:  absolute;
    
  57. }
    
  58. 
    
  59. .IconSizeNavigation,
    
  60. .IconSizeProfiler,
    
  61. .IconSizeSettings {
    
  62.   margin-right: 0.5rem;
    
  63.   color: var(--color-button-active);
    
  64. }
    
  65. 
    
  66. .IconDisabled {
    
  67.   color: var(--color-dim);
    
  68. }
    
  69. 
    
  70. .IconSizeNavigation {
    
  71.   width: 1.5rem;
    
  72.   height: 1.5rem;
    
  73. }
    
  74. .IconSizeProfiler {
    
  75.   width: 1rem;
    
  76.   height: 1rem;
    
  77. }
    
  78. .IconSizeSettings {
    
  79.   width: 1rem;
    
  80.   height: 1rem;
    
  81. }
    
  82. 
    
  83. .TabLabelNavigation,
    
  84. .TabLabelProfiler,
    
  85. .TabLabelSettings {
    
  86. }
    
  87. 
    
  88. .VRule {
    
  89.   height: 20px;
    
  90.   width: 1px;
    
  91.   border-left: 1px solid var(--color-border);
    
  92.   padding-left: 0.25rem;
    
  93.   margin-left: 0.25rem;
    
  94. }
    
  95. 
    
  96. @media screen and (max-width: 525px) {
    
  97.   .IconSizeNavigation {
    
  98.     margin-right: 0;
    
  99.   }
    
  100. 
    
  101.   .TabLabelNavigation {
    
  102.     display: none;
    
  103.   }
    
  104. }
    
  105. 
    
  106. @media screen and (max-width: 900px) {
    
  107.   .TabLabelProfiler {
    
  108.     display: none;
    
  109.   }
    
  110. 
    
  111.   .IconSizeProfiler {
    
  112.     margin-right: 0;
    
  113.   }
    
  114. }
    
  115. 
    
  116. @media screen and (max-width: 400px) {
    
  117.   .TabLabelSettings {
    
  118.     display: none;
    
  119.   }
    
  120. 
    
  121.   .IconSizeSettings {
    
  122.     margin-right: 0;
    
  123.   }
    
  124. }