1. .DevTools {
    
  2.   width: 100%;
    
  3.   height: 100%;
    
  4.   display: flex;
    
  5.   flex-direction: column;
    
  6.   background-color: var(--color-background);
    
  7.   color: var(--color-text);
    
  8. }
    
  9. 
    
  10. .TabBar {
    
  11.   flex: 0 0 auto;
    
  12.   display: flex;
    
  13.   align-items: center;
    
  14.   padding: 0 0.5rem;
    
  15.   background-color: var(--color-background);
    
  16.   border-top: 1px solid var(--color-border);
    
  17.   font-family: var(--font-family-sans);
    
  18.   font-size: var(--font-size-sans-large);
    
  19.   user-select: none;
    
  20. 
    
  21.   /* Electron drag area */
    
  22.   -webkit-app-region: drag;
    
  23. }
    
  24. 
    
  25. .Spacer {
    
  26.   flex: 1;
    
  27. }
    
  28. 
    
  29. .TabContent {
    
  30.   flex: 1 1 100%;
    
  31.   overflow: auto;
    
  32.   -webkit-app-region: no-drag;
    
  33. }
    
  34. 
    
  35. .DevToolsVersion {
    
  36.   font-size: var(--font-size-sans-normal);
    
  37.   margin-right: 0.5rem;
    
  38. }
    
  39. 
    
  40. .DevToolsVersion:before {
    
  41.   font-size: var(--font-size-sans-large);
    
  42.   content: 'DevTools ';
    
  43. }
    
  44. 
    
  45. @media screen and (max-width: 400px) {
    
  46.   .DevToolsVersion:before {
    
  47.     content: '';
    
  48.   }
    
  49. }
    
  50. 
    
  51. @media screen and (max-width: 300px) {
    
  52.   .DevToolsVersion {
    
  53.     display: none;
    
  54.   }
    
  55. }
    
  56. 
    
  57. .DevTools, .DevTools * {
    
  58.   box-sizing: border-box;
    
  59.   -webkit-font-smoothing: var(--font-smoothing);
    
  60. }