<commit_before>/*
   These are basic styles for our entire page and all of our controls.  They keep all of the 
   control spaced properly in our grid which has 14 pixel rows and 155 pixel columns with a 
   20 pixels spacer between columns.
 */
body {
    background-color: white;
}

body, .gwt-TextBox, .gwt-ListBox, .gwt-PasswordTextBox, .gwt-TextArea, .gwt-SuggestBox, body, table td, select {
    font-size: 12px;
    line-height: 14px;
    font-family: Verdana,Arial,Sans-serif;
}

.gwt-TextBox, .gwt-ListBox, .gwt-PasswordTextBox, .gwt-TextArea, .gwt-SuggestBox {
    font-size: 11px;
}

.gwt-TextBox {
    padding: 2px;
}

.gwt-TextArea, .gwt-SuggestBox.multivalue {
    height: 42px;
    margin-top: -4px;
}

.gwt-TextBox, .gwt-PasswordTextBox, .gwt-SuggestBox {
    margin-top: -6px;
    height: 24px;
    padding-top: 4px;
    line-height: 14px;
}

.gwt-ListBox {
    margin-top: -4px;	
    line-height: 14px;
}

.gwt-ListBox.multivalue {
    height: 42px;
}

.gwt-CheckBox label {
    margin-left: 0.5em;
    position: relative;
    top: -1px;
}

.gwt-RadioButton label {
    margin-left: 0.5em;
}

fieldset {
    margin-bottom: 6px;
}

.textBlock {
    font-family:Georgia,"Times New Roman","Bitstream Charter",Times,serif;
}

a {
    text-decoration: none;
}

#mainWrap a:hover {
    color: #D54E21;
}

#mainWrap a.disabled {
    color: lightgray;
}

#mainWrap a.disabled:hover {
    text-decoration: none;
}

h1 {
    font-size:18px;
    line-height: 28px;
    height: 28px;
}

#main {
    padding-bottom: 50px;
}

#mainBody {
    clear:both;
    margin-left:175px;
}

.clear {
    clear: both;
}

#mainContent {
    float:left;
    width:100%;
    overflow:hidden;
}

#mainContent > div {
    margin-bottom: 2em;
    margin-top: 20px;
}

/*
 * These styles are for the footer
 */

* {margin:0;padding:0;} 

/* must declare 0 margins on everything, also for main layout components use padding, not 
vertical margins (top and bottom) to add spacing, else those margins get added to total height 
and your footer gets pushed down a bit more, creating vertical scroll bars in the browser */

html, body, #mainWrap {
    height: 100%;
}

body > #mainWrap {
    height: auto; 
    min-height: 100%;
}

#main {
    padding-bottom: 28px;   /* must be same height as the footer */
}

#mainFooter {
    position: relative;
	margin-top: -36px; /* negative value of footer height */
	height: 28px;
	clear:both;
    z-index: 101;
    border-top: thin solid lightgray;
    width: 100%;
    left: 0px;
    background: #F9F9F9;
    padding-top: 7px;
    color: gray;
    bottom: 0em;
}

#mainFooterContainer {
    padding-left: 20px;
}

/* CLEAR FIX*/
.clearfix:after {content: ".";
	display: block;
	height: 0;
	clear: both;
	visibility: hidden;}
.clearfix {display: inline-block;}
/* Hides from IE-mac \*/
* html .clearfix { height: 1%;}
.clearfix {display: block;}
/* End hide from IE-mac */

/*
   Main header styles
 */
#mainHeader {
    height: 55px;
    background: black;
    color: white;
}

#mainHeader a {
    color:#CFCDC6;
    font-size:0.85em;
}

#mainHeader a:hover {
    color: #969E47;
}

#mainHeaderContainer, #loginHeaderContainer {
    position: relative;
}

#headerstring {
    color: white;
    font-size: 14px;
    margin-right: 1em;
}

#headerleft, #loginHeaderleft {
    position: absolute;
    left: 0px;
    top: 0px;
}

#headerright {
    position: absolute;
    right: 15px;
    top: 0px;
}

#header_actionsBlock {
    position: absolute;
    right: 10px;
    top: 14px;
    width: 35em;
    text-align: right;
}

#headerlogo, #loginheaderlogo {
    width: 54px;
    height: 55px;
    margin-left: 15px;
}

.headertitle {
    color: white;
    display: block;
    font-family: Arial,Sans-serif;
    font-size: 18px;
    left: 60px;
    position: relative;
    top: -37px;
}

#mainHeaderContainer .headertitle {
    left: 75px;
}

/*
   Navigation menu styles
 */
#mainNavigation {
    clear: left;
    float: left;
    margin: 19px 5px 15px -190px;
    padding-left: 5px;
    position: relative;
    width: 170px;<commit_msg>Change the menu items and move the width of the navigation bar back.<commit_after>/*
   These are basic styles for our entire page and all of our controls.  They keep all of the 
   control spaced properly in our grid which has 14 pixel rows and 155 pixel columns with a 
   20 pixels spacer between columns.
 */
body {
    background-color: white;
}

body, .gwt-TextBox, .gwt-ListBox, .gwt-PasswordTextBox, .gwt-TextArea, .gwt-SuggestBox, body, table td, select {
    font-size: 12px;
    line-height: 14px;
    font-family: Verdana,Arial,Sans-serif;
}

.gwt-TextBox, .gwt-ListBox, .gwt-PasswordTextBox, .gwt-TextArea, .gwt-SuggestBox {
    font-size: 11px;
}

.gwt-TextBox {
    padding: 2px;
}

.gwt-TextArea, .gwt-SuggestBox.multivalue {
    height: 42px;
    margin-top: -4px;
}

.gwt-TextBox, .gwt-PasswordTextBox, .gwt-SuggestBox {
    margin-top: -6px;
    height: 24px;
    padding-top: 4px;
    line-height: 14px;
}

.gwt-ListBox {
    margin-top: -4px;	
    line-height: 14px;
}

.gwt-ListBox.multivalue {
    height: 42px;
}

.gwt-CheckBox label {
    margin-left: 0.5em;
    position: relative;
    top: -1px;
}

.gwt-RadioButton label {
    margin-left: 0.5em;
}

fieldset {
    margin-bottom: 6px;
}

.textBlock {
    font-family:Georgia,"Times New Roman","Bitstream Charter",Times,serif;
}

a {
    text-decoration: none;
}

#mainWrap a:hover {
    color: #D54E21;
}

#mainWrap a.disabled {
    color: lightgray;
}

#mainWrap a.disabled:hover {
    text-decoration: none;
}

h1 {
    font-size:18px;
    line-height: 28px;
    height: 28px;
}

#main {
    padding-bottom: 50px;
}

#mainBody {
    clear:both;
    margin-left:175px;
}

.clear {
    clear: both;
}

#mainContent {
    float:left;
    width:100%;
    overflow:hidden;
}

#mainContent > div {
    margin-bottom: 2em;
    margin-top: 20px;
}

/*
 * These styles are for the footer
 */

* {margin:0;padding:0;} 

/* must declare 0 margins on everything, also for main layout components use padding, not 
vertical margins (top and bottom) to add spacing, else those margins get added to total height 
and your footer gets pushed down a bit more, creating vertical scroll bars in the browser */

html, body, #mainWrap {
    height: 100%;
}

body > #mainWrap {
    height: auto; 
    min-height: 100%;
}

#main {
    padding-bottom: 28px;   /* must be same height as the footer */
}

#mainFooter {
    position: relative;
	margin-top: -36px; /* negative value of footer height */
	height: 28px;
	clear:both;
    z-index: 101;
    border-top: thin solid lightgray;
    width: 100%;
    left: 0px;
    background: #F9F9F9;
    padding-top: 7px;
    color: gray;
    bottom: 0em;
}

#mainFooterContainer {
    padding-left: 20px;
}

/* CLEAR FIX*/
.clearfix:after {content: ".";
	display: block;
	height: 0;
	clear: both;
	visibility: hidden;}
.clearfix {display: inline-block;}
/* Hides from IE-mac \*/
* html .clearfix { height: 1%;}
.clearfix {display: block;}
/* End hide from IE-mac */

/*
   Main header styles
 */
#mainHeader {
    height: 55px;
    background: black;
    color: white;
}

#mainHeader a {
    color:#CFCDC6;
    font-size:0.85em;
}

#mainHeader a:hover {
    color: #969E47;
}

#mainHeaderContainer, #loginHeaderContainer {
    position: relative;
}

#headerstring {
    color: white;
    font-size: 14px;
    margin-right: 1em;
}

#headerleft, #loginHeaderleft {
    position: absolute;
    left: 0px;
    top: 0px;
}

#headerright {
    position: absolute;
    right: 15px;
    top: 0px;
}

#header_actionsBlock {
    position: absolute;
    right: 10px;
    top: 14px;
    width: 35em;
    text-align: right;
}

#headerlogo, #loginheaderlogo {
    width: 54px;
    height: 55px;
    margin-left: 15px;
}

.headertitle {
    color: white;
    display: block;
    font-family: Arial,Sans-serif;
    font-size: 18px;
    left: 60px;
    position: relative;
    top: -37px;
}

#mainHeaderContainer .headertitle {
    left: 75px;
}

/*
   Navigation menu styles
 */
#mainNavigation {
    clear: left;
    float: left;
    margin: 19px 5px 15px -175px;
    padding-left: 5px;
    position: relative;
    width: 150px;
{'fraction_non_alphanumeric': 0.12899669239250275, 'fraction_numerical': 0.03381109886071297, 'mean_word_length': 2.8328638497652583, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 7, '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': '3168491', 'n_tokens_mistral': 3279, 'n_tokens_neox': 2991, 'n_words': 797}