<commit_before>@import 'vc/styles.scss';

// == Settings ==
$theme-foreground:		$vc-theme-foreground;
$theme-background:		$vc-theme-background;
$theme-border-radius:		$vc-theme-border-radius;
$panel-background-lg0:		$vc-panel-background-lg0;
$panel-background-lg1:		$vc-panel-background-lg1;
$panel-background-lg:		$vc-panel-background-lg;
$panel-background-border:	$vc-panel-background-border;
$panel-background-light:	$vc-panel-background-light;
$panel-background-dark:		$vc-panel-background-dark;
$toolbar-background:		$vc-toolbar-background;
$toolbar-background-lg:		$vc-toolbar-background-lg;
$button-foreground:		$vc-button-foreground;
$button-light:			$vc-button-light;
$button-lg:			$vc-button-lg;
$button-dark:			$vc-button-dark;
$button-radius:			$vc-button-radius;
$button-border:			$vc-button-border;
$button-hover:			$vc-button-hover;
$button-active:			$vc-button-active;
$button-active-fg:		$vc-button-active-fg;
$button-active-lg:		$vc-button-active-lg;
$button-active-border:		$vc-button-active-border;
$glow-control:			$vc-glow-control;
$focus-outline:			$vc-focus-outline;

// == Body Styles ==
BrowserWindowDefaults		{ ; // used by main.js
				  backgroundColor:          $theme-background; 	// #rrggbb needed
				  defaultFontSize:          14;              	// int needed
				  defaultMonospaceFontSize: 13; }		// int needed
gradient-01	{ -im-convert: "-size 67x1080 -attenuate 0.2 +noise Uniform gradient:#{$panel-background-lg0}-#{$panel-background-lg1}"; }
@mixin gradient-01-bg		{ background-color: $theme-background;
				  // gradient with banding
				  background-image: $panel-background-lg;
				  // gradient image with reduced banding
				  background: url(gradient-01.png) center repeat-x; background-size: auto 100%; }
html				{ width: 100vw; height: 100vh; font-family: sans; }
body				{ width: 100%; height: 100%; overflow: hidden; font: inherit;
				  padding: 0; margin: 0; color: $theme-foreground;
				  @include gradient-01-bg; }
body.window-inactive 		{ color: fade($theme-foreground, 80%); }
*				{ box-sizing: border-box; text-overflow: ellipsis; }

// == Scrollbars ==
::-webkit-scrollbar 		{ height: 5px; width: 5px; background: #000; }
::-webkit-scrollbar-corner	{ background: rgba(0, 0, 0, 0); }
::-webkit-scrollbar-track 	{ background-size: 2px 2px;
				  background-image: linear-gradient(45deg,
								    #111 0%, #444 50%,
								    #333 50%, #aaa 100%); }
::-webkit-scrollbar-thumb 	{ background: $glow-control; -webkit-border-radius: 0.1ex;
				  -webkit-box-shadow: 0px 1px 2px rgba(0, 0, 0, 0.75); }
::-webkit-scrollbar-thumb:window-inactive	{ background: #333;
						  // background: fade($glow-control, 20%);
						  -webkit-box-shadow: none; }

// == Application Widgets ==
.PlayControls			{ padding: 1em; margin: 1em;
				  background-color: $toolbar-background; background-image: $toolbar-background-lg; }
.StatusBar			{ text-align: left; background-color: #000; }
.StatusBar .StatusField		{ padding-left: 1em; }


// == Resets ==
input, textarea, keygen, select,
button          		{ font: inherit; }
button          		{ -webkit-appearance: normal; }

// https://www.w3.org/TR/css-flexbox-1/#valdef-flex-basis-content
// https://css-tricks.com/snippets/css/a-guide-to-flexbox/

// == FontAwesome ==
$fa-font-path: '../node_modules/font-awesome/fonts/';
@import        'node_modules/font-awesome/scss/font-awesome.scss';<commit_msg>EBEAST: app.scss: use the Inter-Medium typeface as overall UI font<commit_after>@import 'vc/styles.scss';

// == Settings ==
$theme-foreground:		$vc-theme-foreground;
$theme-background:		$vc-theme-background;
$theme-border-radius:		$vc-theme-border-radius;
$panel-background-lg0:		$vc-panel-background-lg0;
$panel-background-lg1:		$vc-panel-background-lg1;
$panel-background-lg:		$vc-panel-background-lg;
$panel-background-border:	$vc-panel-background-border;
$panel-background-light:	$vc-panel-background-light;
$panel-background-dark:		$vc-panel-background-dark;
$toolbar-background:		$vc-toolbar-background;
$toolbar-background-lg:		$vc-toolbar-background-lg;
$button-foreground:		$vc-button-foreground;
$button-light:			$vc-button-light;
$button-lg:			$vc-button-lg;
$button-dark:			$vc-button-dark;
$button-radius:			$vc-button-radius;
$button-border:			$vc-button-border;
$button-hover:			$vc-button-hover;
$button-active:			$vc-button-active;
$button-active-fg:		$vc-button-active-fg;
$button-active-lg:		$vc-button-active-lg;
$button-active-border:		$vc-button-active-border;
$glow-control:			$vc-glow-control;
$focus-outline:			$vc-focus-outline;

// == Body Styles ==
BrowserWindowDefaults		{ ; // used by main.js
				  backgroundColor:          $theme-background; 	// #rrggbb needed
				  defaultFontSize:          14;              	// int needed
				  defaultMonospaceFontSize: 13; }		// int needed
gradient-01	{ -im-convert: "-size 67x1080 -attenuate 0.2 +noise Uniform gradient:#{$panel-background-lg0}-#{$panel-background-lg1}"; }
@mixin gradient-01-bg		{ background-color: $theme-background;
				  // gradient with banding
				  background-image: $panel-background-lg;
				  // gradient image with reduced banding
				  background: url(gradient-01.png) center repeat-x; background-size: auto 100%; }
html				{ width: 100vw; height: 100vh; }
body				{ width: 100%; height: 100%; overflow: hidden; font: inherit;
				  padding: 0; margin: 0; color: $theme-foreground;
				  @include gradient-01-bg; }
body.window-inactive 		{ color: fade($theme-foreground, 80%); }
*				{ box-sizing: border-box; text-overflow: ellipsis; }

// == Scrollbars ==
::-webkit-scrollbar 		{ height: 5px; width: 5px; background: #000; }
::-webkit-scrollbar-corner	{ background: rgba(0, 0, 0, 0); }
::-webkit-scrollbar-track 	{ background-size: 2px 2px;
				  background-image: linear-gradient(45deg,
								    #111 0%, #444 50%,
								    #333 50%, #aaa 100%); }
::-webkit-scrollbar-thumb 	{ background: $glow-control; -webkit-border-radius: 0.1ex;
				  -webkit-box-shadow: 0px 1px 2px rgba(0, 0, 0, 0.75); }
::-webkit-scrollbar-thumb:window-inactive	{ background: #333;
						  // background: fade($glow-control, 20%);
						  -webkit-box-shadow: none; }

// == Application Widgets ==
.PlayControls			{ padding: 1em; margin: 1em;
				  background-color: $toolbar-background; background-image: $toolbar-background-lg; }
.StatusBar			{ text-align: left; background-color: #000; }
.StatusBar .StatusField		{ padding-left: 1em; }


// == Resets ==
input, textarea, keygen, select,
button          		{ font: inherit; }
button          		{ -webkit-appearance: normal; }

// https://www.w3.org/TR/css-flexbox-1/#valdef-flex-basis-content
// https://css-tricks.com/snippets/css/a-guide-to-flexbox/

// == FontAwesome ==
$fa-font-path: '../node_modules/font-awesome/fonts/';
@import        'node_modules/font-awesome/scss/font-awesome.scss';

// == Font-family "Inter" ==
@font-face	{ font-family: 'Inter'; font-style: normal; font-weight: 500;
		  src: url("Inter-Medium.woff2") format("woff2"); }
@mixin inter-font-features() {
  font-feature-settings:
  "dlig" 1,     // Discretionary ligatures, e.g. !? -> interrobang
  // "tnum",	// Tabular numbers (fixed width); use `font-variant-numeric: tabular-nums;`
  "salt" 0,     // Stylistic Alternates
  "ss01" 0,     // Stylistic set 1 "Open Digits"
  "ss02" 0,     // Stylistic set 2 "Disambiguation"
  "ss03" 0,     // Stylistic set 3 "Lower case r curves into round neighbors"
  // "zero",    // Slashed zero; use `font-variant-numeric: slashed-zero;`
  "numr" 0,     // Numerators
  "dnom" 0,     // Denominators
  "case" 1,     // Case alternates
  "frac" 0,     // Contextual automatic fractions
  "sups" 0,     // Superscript
  "subs" 0,     // Subscript
  "cpsp" 0,     // Capital spacing (adds 16 UPM to each sidebearing)
  "cv01" 1,     // Alternate one
  "cv02" 1,     // Open four
  "cv03" 1,     // Open six
  "cv04" 1,     // Open nine
  "cv05" 1,     // Lower case L with tail
  "cv06" 1,     // Lower case r with curved tail
  "cv07" 0,     // Alternate German double-s
  "cv08" 1,     // Upper-case i with serif
  "cv09" 0,     // Flat top three
  "cv10" 1,     // Capital G with spur
  "cv11" 0,     // Single-storey a
  "calt",       // Contextual alternates (default)
  "liga",       // Common ligatures (default, none in Inter)
  "kern";       // Kerning (default)
}
@mixin inter-font-family	{
  font-family: 'Inter', BlinkMacSystemFont, -apple-system, Roboto, Helvetica, Arial, sans-serif;
  letter-spacing: 0.011em;
  -webkit-font-smoothing: antialiased;
  font-variation-settings: "wght" 450; // "slnt" 0deg
  @include inter-font-features;
}
@mixin inter-font-bold		{ letter-spacing: 0.031em; font-weight: bold; }
@mixin inter-font-bolder	{ letter-spacing: 0.031em; font-weight: bolder; }
@mixin inter-font-italic	{ font-style: italic; }

// == Font Setup ==
.inter, html				{ @include inter-font-family; }
.italic, i, cite, em, var, address, dfn	{ @include inter-font-italic; }
::-webkit-validation-bubble-heading,
strong, b, h1, h2, h3, h4, h5, h6, th,
.bold					{ @include inter-font-bold; }
.bolder, optgroup			{ @include inter-font-bolder; }
input:-webkit-autofill-strong-password,
plaintext, listing, xmp,
.tnum, .code, tt, pre, code, kbd, samp	{ font-variant-numeric: tabular-nums slashed-zero; }
.slashed-zero				{ font-variant-numeric: slashed-zero; }
.tabular-nums				{ font-variant-numeric: tabular-nums; }
.tabular-nums.slashed-zero		{ font-variant-numeric: tabular-nums slashed-zero; }
{'fraction_non_alphanumeric': 0.1676716386332381, 'fraction_numerical': 0.029726012905955782, 'mean_word_length': 3.2623985572587917, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 4, 'https://': 4, 'lorem ipsum': 0, 'www.': 2, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 1, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '2829790', 'n_tokens_mistral': 3903, 'n_tokens_neox': 3405, 'n_words': 701}