<commit_before>/**
 * @copyright Copyright (c) 2016-2017, <NAME> <<EMAIL>>
 * @copyright Copyright (c) 2016, <NAME> <<EMAIL>>
 * @copyright Copyright (c) 2016, <NAME> <<EMAIL>>
 * @copyright Copyright (c) 2016, pgys <<EMAIL>>
 * @copyright Copyright (c) 2016, <NAME> <<EMAIL>>
 * @copyright Copyright (c) 2016, <NAME> <<EMAIL>>
 * @copyright Copyright (c) 2016, <NAME> <<EMAIL>>
 * @copyright Copyright (c) 2016, jowi <<EMAIL>>
 * @copyright Copyright (c) 2015, <NAME> <<EMAIL>>
 * @copyright Copyright (c) 2015, <NAME> <<EMAIL>>
 * @copyright Copyright (c) 2015, <NAME> <<EMAIL>>
 * @copyright Copyright (c) 2014-2017, <NAME> <<EMAIL>>
 *
 * @license GNU AGPL version 3 or any later version
 *
 */

/* BASE STYLING ------------------------------------------------------------ */
// no h1 allowed since h1 = logo
h2 {
	font-weight: bold;
	font-size: 20px;
	margin-bottom: 12px;
	line-height: 30px;
	color: var(--color-text-light);
}

h3 {
	font-size: 16px;
	margin: 12px 0;
	color: var(--color-text-light);
}

h4 {
	font-size: 14px;
}

/* do not use italic typeface style, instead lighter color */
em {
	font-style: normal;
	color: var(--color-text-lighter);
}

dl {
	padding: 12px 0;
}

dt,
dd {
	display: inline-block;
	padding: 12px;
	padding-left: 0;
}

dt {
	width: 130px;
	white-space: nowrap;
	text-align: right;
}

kbd {
	padding: 4px 10px;
	border: 1px solid #ccc;
	box-shadow: 0 1px 0 rgba(0, 0, 0, .2);
	border-radius: var(--border-radius);
	display: inline-block;
	white-space: nowrap;
}


/* APP STYLING ------------------------------------------------------------ */

#content[class*='app-'] * {
	box-sizing: border-box;
}

/* APP-NAVIGATION ------------------------------------------------------------ */
/* Navigation: folder like structure */
#app-navigation {
	width: $navigation-width;
	position: fixed;
	top: $header-height;
	left: 0;
	z-index: 500;
	overflow-y: auto;
	overflow-x: hidden;
	// Do not use vh because of mobile headers
	// are included in the calculation
	height: calc(100% - #{$header-height});
	box-sizing: border-box;
	background-color: var(--color-main-background);
	-webkit-user-select: none;
	-moz-user-select: none;
	-ms-user-select: none;
	user-select: none;
	border-right: 1px solid var(--color-border);
	display: flex;
	flex-direction: column;
	flex-grow: 0;<commit_msg>prevent the server's app-navigation's css to overrule the scop… (#16661)<commit_after>/**
 * @copyright Copyright (c) 2016-2017, <NAME> <<EMAIL>>
 * @copyright Copyright (c) 2016, <NAME> <<EMAIL>>
 * @copyright Copyright (c) 2016, <NAME> <<EMAIL>>
 * @copyright Copyright (c) 2016, pgys <<EMAIL>>
 * @copyright Copyright (c) 2016, <NAME> <<EMAIL>>
 * @copyright Copyright (c) 2016, <NAME> <<EMAIL>>
 * @copyright Copyright (c) 2016, <NAME> <<EMAIL>>
 * @copyright Copyright (c) 2016, jowi <<EMAIL>>
 * @copyright Copyright (c) 2015, <NAME> <<EMAIL>>
 * @copyright Copyright (c) 2015, <NAME> <<EMAIL>>
 * @copyright Copyright (c) 2015, <NAME> <<EMAIL>>
 * @copyright Copyright (c) 2014-2017, <NAME> <<EMAIL>>
 *
 * @license GNU AGPL version 3 or any later version
 *
 */

/* BASE STYLING ------------------------------------------------------------ */
// no h1 allowed since h1 = logo
h2 {
	font-weight: bold;
	font-size: 20px;
	margin-bottom: 12px;
	line-height: 30px;
	color: var(--color-text-light);
}

h3 {
	font-size: 16px;
	margin: 12px 0;
	color: var(--color-text-light);
}

h4 {
	font-size: 14px;
}

/* do not use italic typeface style, instead lighter color */
em {
	font-style: normal;
	color: var(--color-text-lighter);
}

dl {
	padding: 12px 0;
}

dt,
dd {
	display: inline-block;
	padding: 12px;
	padding-left: 0;
}

dt {
	width: 130px;
	white-space: nowrap;
	text-align: right;
}

kbd {
	padding: 4px 10px;
	border: 1px solid #ccc;
	box-shadow: 0 1px 0 rgba(0, 0, 0, .2);
	border-radius: var(--border-radius);
	display: inline-block;
	white-space: nowrap;
}


/* APP STYLING ------------------------------------------------------------ */

#content[class*='app-'] * {
	box-sizing: border-box;
}

/* APP-NAVIGATION ------------------------------------------------------------ */
/* Navigation: folder like structure */
#app-navigation:not(.vue) {
	width: $navigation-width;
	position: fixed;
	top: $header-height;
	left: 0;
	z-index: 500;
	overflow-y: auto;
	overflow-x: hidden;
	// Do not use vh because of mobile headers
	// are included in the calculation
	height: calc(100% - #{$header-height});
	box-sizing: border-box;
	background-color: var(--color-main-background);
	-webkit-user-select: none;
	-moz-user-select: none;
	-ms-user-select: none;
	user-select: none;
	border-right: 1px solid var(--color-border);
	display: flex;
	flex-direction: column;
	flex-grow: 0;
{'fraction_non_alphanumeric': 0.24026388593317727, 'fraction_numerical': 0.04532879336028942, 'mean_word_length': 2.7420382165605095, 'pattern_counts': {'":': 0, '<': 71, '<?xml version=': 0, '>': 71, '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': '2084060', 'n_tokens_mistral': 1864, 'n_tokens_neox': 1648, 'n_words': 468}