<commit_before>/*******************************************************************************
 * Copyright (c) 2012-2013 University of Stuttgart.
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v1.0
 * and the Apache License 2.0 which both accompany this distribution,
 * and are available at http://www.eclipse.org/legal/epl-v10.html
 * and http://www.apache.org/licenses/LICENSE-2.0
 *
 * Contributors:
 *    <NAME> - initial implementation
 *    <NAME> - improvements
 *******************************************************************************/

/* override jquery redmond theme */

.hidden {
	display: none;
}

.ui-widget {
	font-size: 11px;
}

body {
	width: 1000px;
	background: #eaeaea;
}

#header {
	width: 100%;
	height: 87px;
	background: url('../images/header_background.png');
	background-repeat: no-repeat;
}

#showabout {
	float: right
}

#header > div#buttonContainer {

	height: 30px;
	top: 40px;
	position: relative;
}

#header > div#buttonContainer > a {
	height: 30px;
	float: left;
	display: block;
	margin-left: 30px;
	padding-left: 10px;
	padding-right: 10px;
	border-radius: 10px 10px 0px 0px;
	line-height: 27px;
	text-decoration: none;
	font-family: arial;
	color: #787878;
	font-size: 14px;
	text-shadow: 1px 1px 0px white;
}

#header > span {
	position: relative;
	top: 42px;
	left: 10px;
}

#headerelements {
	position: relative;
	bottom: 0px;
}

#tabs {
	box-shadow: 3px 3px 9px #888888;
	min-height: 350px;
}

#mainContainer {
	border-left: 1px solid #AEAEAE;
	position: absolute;
	left: 50%;
	margin: 10px 0 0 -500px;
	padding-bottom: 15px;
	border-radius: 0px 0px 18px 18px;
	border-bottom: 1px solid #AEAEAE;
	border-right: 1px solid #AEAEAE;
	box-shadow: 3px 3px 9px #888888;
	background: white;
	width: 1000px;
}

/* bootstrap removes scrollbar making the content moving. Undo that effect:
	15 / 2 = 7.5. We choose 8. 500+8=508 */
body.modal-open > #mainContainer.overflown {
	margin: 10px 0 0 -508px;
}

/* resulting in the same alignment if a scrollbar is shown or not (two browser tabs with different tabs) */
#mainContainer.notoverflown {
	margin: 10px 0 0 -508px;
}


#mainContent {
	padding-left: 5px;
	min-height: 350px;
}

#naming {
	margin-bottom: 15px;
}

#namespacesListContainer {
	width: 300px;
	float: left;
}

.listheading {
	margin: 0px 0px 15px 0px;
}

.listcontent {
	width: 100%;
}

#buttonList {
	width: 140px;
}

#buttonList > a {
	width: 85px;
	float: left;
	margin-top: 10px;
}

.rightbutton {
	float: right;
	margin: 0 0 2px 2px;
}

.label {
	font-family: sans-serif;
}<commit_msg>fix css buttons (#26)<commit_after>/*******************************************************************************
 * Copyright (c) 2012-2013 University of Stuttgart.
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v1.0
 * and the Apache License 2.0 which both accompany this distribution,
 * and are available at http://www.eclipse.org/legal/epl-v10.html
 * and http://www.apache.org/licenses/LICENSE-2.0
 *
 * Contributors:
 *    <NAME> - initial implementation
 *    <NAME> - improvements
 *******************************************************************************/

/* override jquery redmond theme */

.hidden {
	display: none;
}

.ui-widget {
	font-size: 11px;
}

body {
	width: 1000px;
	background: #eaeaea;
}

#header {
	width: 100%;
	height: 87px;
	background: url('../images/header_background.png');
	background-repeat: no-repeat;
}

#showabout {
	float: right
}

#header > div#buttonContainer {

	height: 30px;
	top: 40px;
	position: relative;
}

#header > div#buttonContainer > a {
	height: 30px;
	float: left;
	display: block;
	margin-left: 30px;
	padding-left: 10px;
	padding-right: 10px;
	border-radius: 10px 10px 0px 0px;
	line-height: 27px;
	text-decoration: none;
	font-family: arial;
	color: #787878;
	font-size: 14px;
	text-shadow: 1px 1px 0px white;
}

#header > span {
	position: relative;
	top: 42px;
	left: 10px;
}

#headerelements {
	position: relative;
	bottom: 0px;
}

#tabs {
	box-shadow: 3px 3px 9px #888888;
	min-height: 350px;
}

#mainContainer {
	border-left: 1px solid #AEAEAE;
	position: absolute;
	left: 50%;
	margin: 10px 0 0 -500px;
	padding-bottom: 15px;
	border-radius: 0px 0px 18px 18px;
	border-bottom: 1px solid #AEAEAE;
	border-right: 1px solid #AEAEAE;
	box-shadow: 3px 3px 9px #888888;
	background: white;
	width: 1000px;
}

/* bootstrap removes scrollbar making the content moving. Undo that effect:
	15 / 2 = 7.5. We choose 8. 500+8=508 */
body.modal-open > #mainContainer.overflown {
	margin: 10px 0 0 -508px;
}

/* resulting in the same alignment if a scrollbar is shown or not (two browser tabs with different tabs) */
#mainContainer.notoverflown {
	margin: 10px 0 0 -508px;
}


#mainContent {
	padding-left: 5px;
	min-height: 350px;
}

#naming {
	margin-bottom: 15px;
}

#namespacesListContainer {
	width: 300px;
	float: left;
}

.listheading {
	margin: 0px 0px 15px 0px;
}

.listcontent {
	width: 100%;
}

#buttonList {
	width: 140px;
}

#buttonList > a, #buttonList > button {
	margin-top: 5px;
}

.rightbutton {
	float: right;
	margin: 0 0 2px 2px;
}

.label {
	font-family: sans-serif;
}
{'fraction_non_alphanumeric': 0.17947258584708783, 'fraction_numerical': 0.06165812938721305, 'mean_word_length': 4.016175071360609, 'pattern_counts': {'":': 0, '<': 7, '<?xml version=': 0, '>': 20, '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': '2144991', 'n_tokens_mistral': 2198, 'n_tokens_neox': 1880, 'n_words': 545}