<commit_before>/* prevent ugly selection effect on accidental selection */
#header,
#navigation,
#expanddiv {
	-webkit-user-select: none;
	-moz-user-select: none;
	-ms-user-select: none;
}

/* removed until content-focusing issue is fixed */
#skip-to-content a {
	position: absolute;
	left: -10000px;
	top: auto;
	width: 1px;
	height: 1px;
	overflow: hidden;
}
#skip-to-content a:focus {
	left: 76px;
	top: -9px;
	color: #fff;
	width: auto;
	height: auto;
}



/* HEADERS ------------------------------------------------------------------ */

#body-user #header,
#body-settings #header,
#body-public #header {
	position: fixed;
	top: 0;
	left: 0;
	right: 0;
	z-index: 2000;
	height: 45px;
	line-height: 2.5em;
	background-color: #1d2d44;
	box-sizing: border-box;
}



/* LOGO and APP NAME -------------------------------------------------------- */

#owncloud {
	position: absolute;
	top: 0;
	left: -webkit-calc(50% - 75px); /* @TODO: Remove if FF 14 support is dropped */
	left:    -moz-calc(50% - 75px); /* @TODO: Remove if FF 14 support is dropped */
	left:         calc(50% - 75px);
	padding: 5px;
	padding-bottom: 0;
	height: 45px; /* header height */
	box-sizing: border-box;
	opacity: 1;
}

@media only screen and (max-width: 767px) {
	#owncloud {
		display: none;
	}
}

#owncloud:focus {
	opacity: .75;
}
#owncloud:hover,
#owncloud:active {
	opacity: 1;
}

#header a,
#header a * {
	font-family: 'Open Sans', Frutiger, Calibri, 'Myriad Pro', Myriad, sans-serif;
	text-decoration: none;
}

#header .logo {
	background-image: url('../img/logo.svg');
	background-repeat: no-repeat;
	background-size: 175px;
	background-position: center center;
	width: 252px;
	height: 120px;
	margin: 0 auto;
}

#header .logo-icon {
	/* display logo so appname can be shown next to it */
	display: inline-block;
	background-image: url(../img/logo-icon.svg);
	background-repeat: no-repeat;
	background-size: 61px 34px;
	width: 84px;
	height: 34px;
	color: #fff;
	margin: 0;
	padding: 0;
	padding-left: 66px;
	font-size: 1.04rem;
	font-weight: 300;
	line-height: inherit;
}

#header .header-appname-container {
	display: -webkit-flex; // @TODO: Remove if Chrome 18 support is dropped
	display: -moz-box;     // @TODO: Remove if FF 14 support is dropped
	display: flex;
	position: absolute;
	left: 15px;
	height: 45px;
	align-items: center;
}

/* hover effect for app switcher label */

#header #owncloud,
#header .header-appname-container {
	opacity: .8;
	transition: opacity .25s;
}

#header #owncloud:hover,
#header .header-appname-container:hover {
	opacity: 1;
}

/* show appname next to logo */
.header-appname {
	color: #fff;
	font-size: 1.04rem;
	font-weight: 300;<commit_msg>Use different CSS comment style for IE11 support<commit_after>/* prevent ugly selection effect on accidental selection */
#header,
#navigation,
#expanddiv {
	-webkit-user-select: none;
	-moz-user-select: none;
	-ms-user-select: none;
}

/* removed until content-focusing issue is fixed */
#skip-to-content a {
	position: absolute;
	left: -10000px;
	top: auto;
	width: 1px;
	height: 1px;
	overflow: hidden;
}
#skip-to-content a:focus {
	left: 76px;
	top: -9px;
	color: #fff;
	width: auto;
	height: auto;
}



/* HEADERS ------------------------------------------------------------------ */

#body-user #header,
#body-settings #header,
#body-public #header {
	position: fixed;
	top: 0;
	left: 0;
	right: 0;
	z-index: 2000;
	height: 45px;
	line-height: 2.5em;
	background-color: #1d2d44;
	box-sizing: border-box;
}



/* LOGO and APP NAME -------------------------------------------------------- */

#owncloud {
	position: absolute;
	top: 0;
	left: -webkit-calc(50% - 75px); /* @TODO: Remove if FF 14 support is dropped */
	left:    -moz-calc(50% - 75px); /* @TODO: Remove if FF 14 support is dropped */
	left:         calc(50% - 75px);
	padding: 5px;
	padding-bottom: 0;
	height: 45px; /* header height */
	box-sizing: border-box;
	opacity: 1;
}

@media only screen and (max-width: 767px) {
	#owncloud {
		display: none;
	}
}

#owncloud:focus {
	opacity: .75;
}
#owncloud:hover,
#owncloud:active {
	opacity: 1;
}

#header a,
#header a * {
	font-family: 'Open Sans', Frutiger, Calibri, 'Myriad Pro', Myriad, sans-serif;
	text-decoration: none;
}

#header .logo {
	background-image: url('../img/logo.svg');
	background-repeat: no-repeat;
	background-size: 175px;
	background-position: center center;
	width: 252px;
	height: 120px;
	margin: 0 auto;
}

#header .logo-icon {
	/* display logo so appname can be shown next to it */
	display: inline-block;
	background-image: url(../img/logo-icon.svg);
	background-repeat: no-repeat;
	background-size: 61px 34px;
	width: 84px;
	height: 34px;
	color: #fff;
	margin: 0;
	padding: 0;
	padding-left: 66px;
	font-size: 1.04rem;
	font-weight: 300;
	line-height: inherit;
}

#header .header-appname-container {
	display: -webkit-flex; /* @TODO: Remove if Chrome 18 support is dropped */
	display: -ms-flexbox;  /* @TODO: Remove if IE 11 support is dropped */
	display: -moz-box;     /* @TODO: Remove if FF 14 support is dropped */
	display: flex;
	position: absolute;
	left: 15px;
	height: 45px;
	align-items: center;
}

/* hover effect for app switcher label */

#header #owncloud,
#header .header-appname-container {
	opacity: .8;
	transition: opacity .25s;
}

#header #owncloud:hover,
#header .header-appname-container:hover {
	opacity: 1;
}

/* show appname next to logo */
.header-appname {
	color: #fff;
	font-size: 1.04rem;
	font-weight: 300;
{'fraction_non_alphanumeric': 0.19115758576407998, 'fraction_numerical': 0.03705742065676023, 'mean_word_length': 2.956458635703919, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, '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': '5730511', 'n_tokens_mistral': 2204, 'n_tokens_neox': 1991, 'n_words': 562}