<commit_before>/* This Source Code Form is subject to the terms of the Mozilla Public
 * License, v. 2.0. If a copy of the MPL was not distributed with this
 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */

@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
@namespace html url("http://www.w3.org/1999/xhtml");

.controlBar {
  height: 28px;
  background-color: #989EA6;
}

/* Remove the button styling */
button {
  -moz-binding: none;
  min-height: 28px;
  min-width: 28px;
}

.playButton {
  background: url(chrome://global/skin/media/pauseButton.png) no-repeat center;
  margin-right: -22px; /* 1/2 of scrubber thumb width, for overhang. */
  position: relative; /* Trick to work around negative margin interfering with clicking on the button. */
}

.playButton[paused="true"] {
  background: url(chrome://global/skin/media/playButton.png) no-repeat center;
}

.muteButton {
  background: url(chrome://global/skin/media/muteButton.png) no-repeat center;
  min-width: 33px;
}
.muteButton[muted="true"] {
  background: url(chrome://global/skin/media/unmuteButton.png) no-repeat center;
}

.fullscreenButton {
  background-image: -moz-image-rect(url("chrome://global/skin/media/fullscreenButton.png"), 0, 16, 16, 0);
  background-position: center;
  background-repeat: no-repeat;
}

.fullscreenButton[fullscreened] {
  background-image: -moz-image-rect(url("chrome://global/skin/media/fullscreenButton.png"), 0, 32, 16, 16);
  background-position: center;
  background-repeat: no-repeat;
}

.backgroundBar {
  /* make bar 8px tall (control height = 28, minus 2 * 10 margin) */
  /* margin left/right: 1/2 of scrubber thumb width, for overhang. */
  margin: 10px 22px;
  background-color: #C7D0D9;
  border-radius: 4px;
}

.bufferBar, .progressBar {
  /* make bar 8px tall (control height = 28, minus 2 * 10 margin) */
  /* margin left/right: 1/2 of scrubber thumb width, for overhang. */
  margin: 10px 22px;
  height: 8px;
  border: none;
  min-width: 0px;
  min-height: 0px;
}

/* .progress-bar is an element inside the <progressmeter> implementation. */
.bufferBar > .progress-bar {
  background-color: #B1BBC5;
  border-radius: 4px;
}

.progressBar > .progress-bar {
  background-color: #6B7B8D;
  border-radius: 4px;
}

/* .scale-slider is an element inside the <scale> implementation. */
.scale-slider {
  /* Hide the default box. */
  background: none;
  border: none;
  margin: 0px;
  min-height: 20px;
}

.volumeStack {
  width: 28px;
  height: 70px;
  background-color: #B1BBC5;
  /* use negative margin to place stack over the mute button to its left. */
  margin: -70px 3px 28px -31px;
  overflow: hidden; /* crop it when sliding down, don't grow the control bar */
  position: relative; /* Trick to work around negative margin interfering with dragging the thumb. */
  padding-top: 2px;
  padding-bottom: 2px;
}

.volumeControl {
  min-height: 64px;
}

/* .scale-thumb is an element inside the <scale> implementation. */
.volumeControl .scale-thumb {
  /* Override the default thumb appearance. */
  background-color: #B1BBC5;
  background-image: none;
  border: 2px solid;
  -moz-border-top-colors: #000000;
  -moz-border-right-colors: #000000;
  -moz-border-bottom-colors: #000000;
  -moz-border-left-colors: #000000;
  border-radius: 4px;
  min-height: 20px;
  min-width: 8px;
}

/* Draws a right-angled triangle. */
.volumeBackground {
  margin: 6px 0px;
  border: 0px solid transparent;
  border-top-width: 16px;
  -moz-border-end-width: 32px;
  -moz-border-end-color: #B1BBC5;
}

.durationBox {
  -moz-box-pack: center;
}

.durationLabel {
  margin-left: -22px; /* 1/2 of scrubber thumb width, for overhang. */
  padding-left: 8px; /* don't bump into the scrubber bar */
  padding-top: 0px; /* center vertically with scrubber bar */
  color: #000000;
  font-size: 11px;
  font-family: Helvetica, Arial, sans-serif;
}

.positionLabel {
  display: none;
}

.scrubber .scale-slider {
  /* abs(margin-top) + margin-bottom + bar height == timeThumb height */
  margin-top: -9px;
  margin-bottom: 15px;
}

/* .scale-thumb is an element inside the <scale> implementation. */
.scrubber .scale-thumb {
  /* Override the default thumb appearance with a custom image. */
  background: transparent;
  border: none;
}

.timeThumb {
  background: url(chrome://global/skin/media/scrubberThumb.png) no-repeat center;
  min-width: 48px;
  min-height: 28px;
  -moz-box-pack: center;
}

.timeThumb[showhours="true"] {
  background: url(chrome://global/skin/media/scrubberThumbWide.png) no-repeat center;
}

.timeLabel {
  color: #000000;
  font-size: 10px;
  font-family: Helvetica, Arial, sans-serif;
  padding-top: 4px;
}<commit_msg>Fix time bar location<commit_after>/* This Source Code Form is subject to the terms of the Mozilla Public
 * License, v. 2.0. If a copy of the MPL was not distributed with this
 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */

@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
@namespace html url("http://www.w3.org/1999/xhtml");

.controlBar {
  height: 28px;
  background-color: #989EA6;
}

/* Remove the button styling */
button {
  -moz-binding: none;
  min-height: 28px;
  min-width: 28px;
}

.playButton {
  background: url(chrome://global/skin/media/pauseButton.png) no-repeat center;
  margin-right: -22px; /* 1/2 of scrubber thumb width, for overhang. */
  position: relative; /* Trick to work around negative margin interfering with clicking on the button. */
}

.playButton[paused="true"] {
  background: url(chrome://global/skin/media/playButton.png) no-repeat center;
}

.muteButton {
  background: url(chrome://global/skin/media/muteButton.png) no-repeat center;
  min-width: 33px;
}
.muteButton[muted="true"] {
  background: url(chrome://global/skin/media/unmuteButton.png) no-repeat center;
}

.fullscreenButton {
  background-image: -moz-image-rect(url("chrome://global/skin/media/fullscreenButton.png"), 0, 16, 16, 0);
  background-position: center;
  background-repeat: no-repeat;
}

.fullscreenButton[fullscreened] {
  background-image: -moz-image-rect(url("chrome://global/skin/media/fullscreenButton.png"), 0, 32, 16, 16);
  background-position: center;
  background-repeat: no-repeat;
}

.backgroundBar {
  /* make bar 8px tall (control height = 28, minus 2 * 10 margin) */
  /* margin left/right: 1/2 of scrubber thumb width, for overhang. */
  margin: 10px 22px;
  background-color: #C7D0D9;
  border-radius: 4px;
}

.bufferBar, .progressBar {
  /* make bar 8px tall (control height = 28, minus 2 * 10 margin) */
  /* margin left/right: 1/2 of scrubber thumb width, for overhang. */
  margin: 10px 22px;
  height: 8px;
  border: none;
  min-width: 0px;
  min-height: 0px;
}

/* .progress-bar is an element inside the <progressmeter> implementation. */
.bufferBar > .progress-bar {
  background-color: #B1BBC5;
  border-radius: 4px;
}

.progressBar > .progress-bar {
  background-color: #6B7B8D;
  border-radius: 4px;
}

/* .scale-slider is an element inside the <scale> implementation. */
.scale-slider {
  /* Hide the default box. */
  background: none;
  border: none;
  margin: 0px;
  min-height: 20px;
}

.volumeStack {
  width: 28px;
  height: 70px;
  background-color: #B1BBC5;
  /* use negative margin to place stack over the mute button to its left. */
  margin: -70px 3px 28px -31px;
  overflow: hidden; /* crop it when sliding down, don't grow the control bar */
  position: relative; /* Trick to work around negative margin interfering with dragging the thumb. */
  padding-top: 2px;
  padding-bottom: 2px;
}

.volumeControl {
  min-height: 64px;
}

/* .scale-thumb is an element inside the <scale> implementation. */
.volumeControl .scale-thumb {
  /* Override the default thumb appearance. */
  background-color: #B1BBC5;
  background-image: none;
  border: 2px solid;
  -moz-border-top-colors: #000000;
  -moz-border-right-colors: #000000;
  -moz-border-bottom-colors: #000000;
  -moz-border-left-colors: #000000;
  border-radius: 4px;
  min-height: 20px;
  min-width: 8px;
}

/* Draws a right-angled triangle. */
.volumeBackground {
  margin: 6px 0px;
  border: 0px solid transparent;
  border-top-width: 16px;
  -moz-border-end-width: 32px;
  -moz-border-end-color: #B1BBC5;
}

.durationBox {
  -moz-box-pack: center;
}

.durationLabel {
  margin-left: -22px; /* 1/2 of scrubber thumb width, for overhang. */
  padding-left: 8px; /* don't bump into the scrubber bar */
  padding-top: 0px; /* center vertically with scrubber bar */
  color: #000000;
  font-size: 11px;
  font-family: Helvetica, Arial, sans-serif;
}

.positionLabel {
  display: none;
}

.scrubber .scale-slider {
  /* abs(margin-top) + margin-bottom + bar height == timeThumb height */
  margin-top: -10px;
  margin-bottom: 10px;
}

/* .scale-thumb is an element inside the <scale> implementation. */
.scrubber .scale-thumb {
  /* Override the default thumb appearance with a custom image. */
  background: transparent;
  border: none;
}

.timeThumb {
  background: url(chrome://global/skin/media/scrubberThumb.png) no-repeat center;
  min-width: 48px;
  min-height: 28px;
  -moz-box-pack: center;
}

.timeThumb[showhours="true"] {
  background: url(chrome://global/skin/media/scrubberThumbWide.png) no-repeat center;
}

.timeLabel {
  color: #000000;
  font-size: 10px;
  font-family: Helvetica, Arial, sans-serif;
  padding-top: 4px;
}
{'fraction_non_alphanumeric': 0.14323833920375706, 'fraction_numerical': 0.03554274735830932, 'mean_word_length': 3.5397286821705425, 'pattern_counts': {'":': 0, '<': 11, '<?xml version=': 0, '>': 15, 'https://': 0, 'lorem ipsum': 0, 'www.': 4, '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': '3301013', 'n_tokens_mistral': 3561, 'n_tokens_neox': 3244, 'n_words': 877}