<commit_before>@import "bootstrap/variables.less"; 
@import "bootstrap/mixins.less";
@import "sidebar.less"; 

/**
 * Angular
 */
[ng\:cloak], [ng-cloak], [data-ng-cloak], [x-ng-cloak], .ng-cloak, .x-ng-cloak {
  display: none;
}

body {
    padding-top: 10px;
}

.userTrayName {
    margin: 10px 10px 0 0;
}

.center {
    text-align: center;
}

.navbar .pull-right {
    margin-top: 12px;
}
a:hover{text-decoration: none;}
.table{margin: 10px 0;}
.container{margin-right: 0; margin-left: 0;}
.container.quoter, .container.login, .container.home{margin-left: auto; margin-right: auto; margin-top: 90px;}



ul.unstyled li{min-height: 50px;}

/*

.sidebar{position: fixed; top: 0; left: 0; height: 100%; width: 198px; background: @navbarBackground; color: #fff; border-right: 3px solid #e6e6de;}

.sidebar ul{list-style-type: none; margin-left: 0;}
.sidebar ul.nav li a{font-size: 10px; text-transform: uppercase;}
.sidebar ul.nav li.span1{margin-left: 0; width: 99px; padding: 20px 0;}
.sidebar ul.nav li.active a{color: #fff;}
.sidebar ul.nav li.active a i{text-shadow: -1px 0px 17px rgba(255, 255, 255, 1);}
.sidebar ul.nav .dark{background: #005194;}
.sidebar ul.nav .light{background: #01569d;}
.sidebar ul.nav i{font-size: 26px;}

.sidebar a{color: @navbarLinkColor;}
.sidebar a:hover{color: @navbarLinkColorHover;}
.sidebar a.active{color: @navbarLinkColorActive;}
.sidebar a.brand{display: block; text-align: center; padding: 25px 0;}
*/

/*
ul.user-tray{display: block; background: #08487e; margin: 0; padding: 20px 0;}
ul.user-tray img{width: 140px;}
*/

.nerds {
    width: 200px;
}


footer p.hello {
    margin-bottom: 0;
    margin-top: 20px;
    
}

footer em {
    font-size: 20px;
}


.area-start {
    
    margin-bottom: 100px;
    
    i {
        font-size: 120px;
        text-shadow: 1px 1px 1px white;
    }
    
    p {
        font-size: 20px;
        margin-top: 20px;
    }
    
    .start-button {
        
        .transition(color 120ms ease);
        
        &:hover {
             cursor: pointer;
             color: @linkColor;
        }
        
    }
    
} 


html, body {
	height: 100%;
}
.wrapper {
	min-height: 100%;
	height: auto !important;
	height: 100%;
	margin: 0 auto -200px; /* the bottom margin is the negative value of the footer's height */
}
.footer, .push {
	height: 200px; /* .push must be the same height as .footer */
}

/*

Sticky Footer by <NAME>
http://ryanfait.com/

*/


// apply top outtermost row when page contains title-bar. 
// this ensures proper padding is applied to show title-bar under fixed title-bar
.has-title-bar {
    margin-top: 120px;
}

.has-no-tabs .title-bar [class*="span"] {
    border-bottom: 1px solid #ddd;
    margin-bottom: 20px;
    padding-top: 20px;
    display: block;
    
}

.title-bar {
    
    position: fixed;
    top: 0;
    background: @bodyBackground;
    z-index: @zindexFixedNavbar;
    
    .actions {<commit_msg>Add more margin to header.<commit_after>@import "bootstrap/variables.less"; 
@import "bootstrap/mixins.less";
@import "sidebar.less"; 

/**
 * Angular
 */
[ng\:cloak], [ng-cloak], [data-ng-cloak], [x-ng-cloak], .ng-cloak, .x-ng-cloak {
  display: none;
}

body {
    padding-top: 10px;
}

.userTrayName {
    margin: 10px 10px 0 0;
}

.center {
    text-align: center;
}

.navbar .pull-right {
    margin-top: 12px;
}
a:hover{text-decoration: none;}
.table{margin: 10px 0;}
.container{margin-right: 0; margin-left: 0;}
.container.quoter, .container.login, .container.home{margin-left: auto; margin-right: auto; margin-top: 90px;}



ul.unstyled li{min-height: 50px;}

/*

.sidebar{position: fixed; top: 0; left: 0; height: 100%; width: 198px; background: @navbarBackground; color: #fff; border-right: 3px solid #e6e6de;}

.sidebar ul{list-style-type: none; margin-left: 0;}
.sidebar ul.nav li a{font-size: 10px; text-transform: uppercase;}
.sidebar ul.nav li.span1{margin-left: 0; width: 99px; padding: 20px 0;}
.sidebar ul.nav li.active a{color: #fff;}
.sidebar ul.nav li.active a i{text-shadow: -1px 0px 17px rgba(255, 255, 255, 1);}
.sidebar ul.nav .dark{background: #005194;}
.sidebar ul.nav .light{background: #01569d;}
.sidebar ul.nav i{font-size: 26px;}

.sidebar a{color: @navbarLinkColor;}
.sidebar a:hover{color: @navbarLinkColorHover;}
.sidebar a.active{color: @navbarLinkColorActive;}
.sidebar a.brand{display: block; text-align: center; padding: 25px 0;}
*/

/*
ul.user-tray{display: block; background: #08487e; margin: 0; padding: 20px 0;}
ul.user-tray img{width: 140px;}
*/

.nerds {
    width: 200px;
}


footer p.hello {
    margin-bottom: 0;
    margin-top: 20px;
    
}

footer em {
    font-size: 20px;
}


.area-start {
    
    margin-bottom: 100px;
    
    i {
        font-size: 120px;
        text-shadow: 1px 1px 1px white;
    }
    
    p {
        font-size: 20px;
        margin-top: 20px;
    }
    
    .start-button {
        
        .transition(color 120ms ease);
        
        &:hover {
             cursor: pointer;
             color: @linkColor;
        }
        
    }
    
} 


html, body {
	height: 100%;
}
.wrapper {
	min-height: 100%;
	height: auto !important;
	height: 100%;
	margin: 0 auto -200px; /* the bottom margin is the negative value of the footer's height */
}
.footer, .push {
	height: 200px; /* .push must be the same height as .footer */
}

/*

Sticky Footer by <NAME>
http://ryanfait.com/

*/


// apply top outtermost row when page contains title-bar. 
// this ensures proper padding is applied to show title-bar under fixed title-bar
.has-title-bar {
    margin-top: 140px;
}

.has-no-tabs .title-bar [class*="span"] {
    border-bottom: 1px solid #ddd;
    margin-bottom: 20px;
    padding-top: 20px;
    display: block;
    
}

.title-bar {
    
    position: fixed;
    top: 0;
    background: @bodyBackground;
    z-index: @zindexFixedNavbar;
    
    .actions {
{'fraction_non_alphanumeric': 0.15404342622670542, 'fraction_numerical': 0.044793981877243975, 'mean_word_length': 2.7937743190661477, 'pattern_counts': {'":': 0, '<': 5, '<?xml version=': 0, '>': 5, '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': '1055007', 'n_tokens_mistral': 2429, 'n_tokens_neox': 2140, 'n_words': 556}