<commit_before>/**
 * Copyright 2016 <NAME> <<EMAIL>>
 */

/* top UI */
@import "bootstrap/variables";
@import "main-ui-titlebar";

:host {
  display: block;
  position: relative;
}

#ID_TOP_LAYOUT {
  position: absolute;
  top: 0px;
  bottom: 0px;
  left: 0px;
  right: 0px;

  display: flex;
  flex-direction: column;
}

#ID_TITLE_BAR {
  background: #222222;
}

@if $extraterm-platform == "darwin" {

  // OSX style traffic light window controls.
  #ID_REST_DIV_LEFT {

    & > button {
      display: inline-block;

      width: 12px;
      height: 12px;
      padding: 0px;
      margin-top: 12px;
      margin-left: 4px;
      margin-right: 4px;

      box-sizing: border-box;
      border-radius: 6px;
      border: 1px solid rgba(0, 0, 0, 0.06);
      outline: none;

      color: transparent;
      position: relative;

      &:hover {
        color: rgba(0,0,0,0.5);
      }

      &:before {
        position: relative;
        left: -5px;
        top: -5px;
        font-size: 120%;
        font-family: FontAwesome;
      }
    }
  }

  #ID_OSX_CLOSE_BUTTON {
    background-color: #fc5753;
    margin-left: 3px !important;
    &:before {
      content: "\f00d";
    }
  }

  #ID_OSX_MINIMIZE_BUTTON {
    background-color: #fdbc40;

    &:before {
      top: -4px !important;
      content: "\f068";
    }
  }

  #ID_OSX_MAXIMIZE_BUTTON {
    background-color: #33c748;

    &:before {
      top: -4px !important;
      content: "\f067";
    }
  }
} @else {
  #ID_REST_DIV_LEFT {
    display: none;
  }<commit_msg>Position tweaks for the OSX window controls.<commit_after>/**
 * Copyright 2016 <NAME> <<EMAIL>>
 */

/* top UI */
@import "bootstrap/variables";
@import "main-ui-titlebar";

:host {
  display: block;
  position: relative;
}

#ID_TOP_LAYOUT {
  position: absolute;
  top: 0px;
  bottom: 0px;
  left: 0px;
  right: 0px;

  display: flex;
  flex-direction: column;
}

#ID_TITLE_BAR {
  background: #222222;
}

@if $extraterm-platform == "darwin" {

  // OSX style traffic light window controls.
  #ID_REST_DIV_LEFT {

    & > button {
      display: inline-block;

      width: 12px;
      height: 12px;
      padding: 0px;
      margin-top: 12px;
      margin-left: 4px;
      margin-right: 4px;

      box-sizing: border-box;
      border-radius: 6px;
      border: 1px solid rgba(0, 0, 0, 0.06);
      outline: none;

      color: transparent;
      position: relative;


      &:before {
        position: relative;
        left: 0px;
        top: 0px;
        font-size: 120%;
        font-family: FontAwesome;
      }
    }

    &:hover > button {
      color: rgba(0,0,0,0.5);
    }
  }

  #ID_OSX_CLOSE_BUTTON {
    background-color: #fc5753;
    margin-left: 3px !important;
    &:before {
      top: -3px !important;
      content: "\f00d";
    }
  }

  #ID_OSX_MINIMIZE_BUTTON {
    background-color: #fdbc40;

    &:before {
      top: -1px !important;
      content: "\f068";
    }
  }

  #ID_OSX_MAXIMIZE_BUTTON {
    background-color: #33c748;

    &:before {
      top: -1px !important;
      content: "\f067";
    }
  }
} @else {
  #ID_REST_DIV_LEFT {
    display: none;
  }
{'fraction_non_alphanumeric': 0.14051973051010588, 'fraction_numerical': 0.04074430542188001, 'mean_word_length': 2.159067882472138, 'pattern_counts': {'":': 0, '<': 9, '<?xml version=': 0, '>': 12, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '960914', 'n_tokens_mistral': 1306, 'n_tokens_neox': 1175, 'n_words': 252}