<commit_before>
@import url(jquery.ui.css);
@import url(jquery.notify.css);
@import url(buttons.css);
@import url(typography.css);
@import url(tables.css);
@import url(forms.css);
@import url(grid.css);

body { 
  width:100%; 
  height:100%; 
  color: #333; 
  background:#fff; 
  padding:0;
  margin:0; 
  font-family:arial, sans-serif; 
  overflow:hidden;
}

/* SPLASH */

.info-splash {
  margin: 15% auto;
  width: 152px;
}

.info-splash h1 {
  color: #DDDDDD;
  font-size: 13px;
  font-weight: bold;
  margin-top: 5px;
  padding: 0;
  text-align: center;
  text-shadow: 1px 1px 5px #555555
}


#splash {
  margin: 15% auto;
  width: 152px;
}

#splash h1 {
  background: url("../img/icons/glyphish/stol.png") no-repeat scroll center top transparent;
  color: #DDDDDD;
  font-family: Georgia,serif;
  font-size: 13px;
  font-weight: bold;
  margin-top: 5px;
  padding: 35px 0 0;
  text-align: center;
  text-shadow: 1px 1px 5px #555555
}



/* CONTENTS */

#contents { 
  bottom: 20px;
  left: 0;
  position: absolute;
  right: 0;
  top: 50px;
}
.sidebar { 
  background: none repeat scroll 0 0 #FFFFFF;
  border-right: 2px solid #AAAAAA;
  bottom: 0;
  left: 0;
  padding: 0;
  position: absolute;
  top: 0;
  width: 260px;
  overflow:auto;
}

.workarea {
  position:absolute;
  top:0;
  bottom:0;
  right:0;
  left:0;
  padding:0;
  overflow:auto;
}

.workarea.with-sidebar {
  left:262px;
}

/* HEADER */

#header { width:100%; height:50px; background:url("../img/tab_shade.png") repeat-x scroll center bottom #333333;  }
#logo { float:left; margin: 4px 99px 0 10px; }

  #mainmenu {
    height: 50px;
    list-style: none outside none;
    margin: 0;
  }
  #mainmenu li a { 
    background: url("../img/tab_shade.png") repeat-x scroll center bottom #333333;
    
    border-right: 1px solid #222222;
    color: #EEEEEE;
    display: block;
    float: left;
    height: 40px;
    padding: 10px 15px 0;
    text-decoration: none;
    text-shadow: 1px 1px 0 #222222;
  }
  #mainmenu li a:hover,#mainmenu li a.current { 
    background:#555 url(../img/tab_shade.png) bottom repeat-x;
    border-right: 1px solid #444;
  }<commit_msg>CSS change.<commit_after>
@import url(jquery.ui.css);
@import url(jquery.notify.css);
@import url(buttons.css);
@import url(typography.css);
@import url(tables.css);
@import url(forms.css);
@import url(grid.css);

body { 
  width:100%; 
  height:100%; 
  color: #333; 
  background:#fff; 
  padding:0;
  margin:0; 
  font-family:arial, sans-serif; 
  overflow:hidden;
}

/* SPLASH */

.info-splash {
  margin: 15% auto;
  width: 152px;
}

.info-splash h1 {
  color: #DDDDDD;
  font-size: 13px;
  font-weight: bold;
  margin-top: 5px;
  padding: 0;
  text-align: center;
  text-shadow: 1px 1px 5px #555555
}


#splash {
  margin: 15% auto;
  width: 152px;
}

#splash h1 {
  background: url("../img/icons/glyphish/stol.png") no-repeat scroll center top transparent;
  color: #DDDDDD;
  font-family: Georgia,serif;
  font-size: 13px;
  font-weight: bold;
  margin-top: 5px;
  padding: 35px 0 0;
  text-align: center;
  text-shadow: 1px 1px 5px #555555
}



/* CONTENTS */

#contents { 
  bottom: 20px;
  left: 0;
  position: absolute;
  right: 0;
  top: 50px;
}
.sidebar { 
  background: none repeat scroll 0 0 #FFFFFF;
  border-right: 2px solid #AAAAAA;
  bottom: 0;
  left: 0;
  padding: 0;
  position: absolute;
  top: 0;
  width: 260px;
  overflow:auto;
}

.workarea {
  position:absolute;
  top:0;
  bottom:0;
  right:0;
  left:0;
  padding:0;
  overflow:auto;
}

.workarea.with-sidebar {
  left:262px;
}

/* HEADER */

#header { width:100%; height:50px; background:url("../img/tab_shade.png") repeat-x scroll center bottom #333333;  }
#logo { float:left; margin: 4px 99px 0 10px; }

  #mainmenu {
    height: 50px;
    list-style: none outside none;
    margin: 0;
  }
  
  #mainmenu li {
    float:left;
  }
  
  #mainmenu li a { 
    background: url("../img/tab_shade.png") repeat-x scroll center bottom #333333;
    
    border-right: 1px solid #222222;
    color: #EEEEEE;
    display: block;
    float: left;
    height: 40px;
    padding: 10px 15px 0;
    text-decoration: none;
    text-shadow: 1px 1px 0 #222222;
  }
  #mainmenu li a:hover,#mainmenu li a.current { 
    background:#555 url(../img/tab_shade.png) bottom repeat-x;
    border-right: 1px solid #444;
  }
{'fraction_non_alphanumeric': 0.148852306978901, 'fraction_numerical': 0.06121029445861349, 'mean_word_length': 3.132183908045977, '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': '6439096', 'n_tokens_mistral': 1948, 'n_tokens_neox': 1688, 'n_words': 418}