<commit_before>body {
    font-family: 'Abel', cursive;
	-webkit-background-size: cover;
	-moz-background-size: cover;
	background-size: cover;
    overflow:hidden;
    margin:0;
    padding:0;
    background-color:#EFDEB0;
    position:relative;
    top:-1%;
    border-top:2px solid #CC9933;
    margin:0;
    padding:0;

}
body >#mainbody{
    height:95%;
    width:100%;
}
body >#mainbody>#UI{
    max-height:750px;
    position:relative;
    top:7.5%;
    border-top:2px solid #366CA3;
    border-bottom:2px solid #366CA3
}
body>#mainbody>#UI>#loading{
    font-size:64px;
    position:absolute;
    left:40%;
    right:40%;
    top:40%;
    background-color:orange
}
body>#mainbody>#UI>#progress{
    font-size:14px;
    position:absolute;
    left:40%;
    right:40%;
    top:80%;
    background-color:orange
}
body>#footer{
    text-align: center;
    min-width: 100%;
    display: inline-block;
    background-color: white;
    position:absolute;
    height:13px;
    width:100%;
    bottom:0%;
    font-size:8pt
}

h3{
    padding-bottom: 5px;
    border-bottom-style: solid;
    margin-bottom: 20px;
    width: 90%;
    text-align: center;
    margin-left: 5%;
}

span{
    word-wrap:normal;
}

.cursiveHeadline {
    font-family: 'Hanalei Fill', cursive;
    margin-left: 10%;
}
.ex {
    width:80%;
    height:130px;
    margin:0 0 0 10%;
    border:1px solid black;
}

.ei {
    float: left;
    height:100%;
    width:80%;
}

.eo {
    position: relative;
    left:80%;
    top:0;
    height:100%;
    width:19%;
    font-family: monospace;
    font-size: 125%;
    white-space: pre-wrap;
    padding-left:1%;
    border-left:1px solid gray;
}

.eo>div {
    position:absolute;
}

.rp {
    margin:10px 40px 10px 40px;
}

tt {
    font-size: 16px;
}


.pseudo {
    font-family: monospace;
    white-space: pre-wrap;
    margin: 10px 0px 10px 15%;
}



#insertButtons {
    height:100%;
}



.ace_xbutton {
    float:right;
    margin:6px 0px;
}

.ace_uparrow {
    float:right;
    margin:0px 0px 0px 0;<commit_msg>Undo Removal of Button CSS<commit_after>body {
    font-family: 'Abel', cursive;
	-webkit-background-size: cover;
	-moz-background-size: cover;
	background-size: cover;
    overflow:hidden;
    margin:0;
    padding:0;
    background-color:#EFDEB0;
    position:relative;
    top:-1%;
    border-top:2px solid #CC9933;
    margin:0;
    padding:0;

}
body >#mainbody{
    height:95%;
    width:100%;
}
body >#mainbody>#UI{
    max-height:750px;
    position:relative;
    top:7.5%;
    border-top:2px solid #366CA3;
    border-bottom:2px solid #366CA3
}
body>#mainbody>#UI>#loading{
    font-size:64px;
    position:absolute;
    left:40%;
    right:40%;
    top:40%;
    background-color:orange
}
body>#mainbody>#UI>#progress{
    font-size:14px;
    position:absolute;
    left:40%;
    right:40%;
    top:80%;
    background-color:orange
}
body>#footer{
    text-align: center;
    min-width: 100%;
    display: inline-block;
    background-color: white;
    position:absolute;
    height:13px;
    width:100%;
    bottom:0%;
    font-size:8pt
}

h3{
    padding-bottom: 5px;
    border-bottom-style: solid;
    margin-bottom: 20px;
    width: 90%;
    text-align: center;
    margin-left: 5%;
}

span{
    word-wrap:normal;
}

.cursiveHeadline {
    font-family: 'Hanalei Fill', cursive;
    margin-left: 10%;
}
.ex {
    width:80%;
    height:130px;
    margin:0 0 0 10%;
    border:1px solid black;
}

.ei {
    float: left;
    height:100%;
    width:80%;
}

.eo {
    position: relative;
    left:80%;
    top:0;
    height:100%;
    width:19%;
    font-family: monospace;
    font-size: 125%;
    white-space: pre-wrap;
    padding-left:1%;
    border-left:1px solid gray;
}

.eo>div {
    position:absolute;
}

.rp {
    margin:10px 40px 10px 40px;
}

tt {
    font-size: 16px;
}


.pseudo {
    font-family: monospace;
    white-space: pre-wrap;
    margin: 10px 0px 10px 15%;
}

#buttons {
    width:75% !important;
    position:absolute;
    left:1.5% !important;
    bottom:3%;
    height: 12%;
}

#insertButtons {
    height:100%;
}

button {
    height:80%;
}



.ace_xbutton {
    float:right;
    margin:6px 0px;
}

.ace_uparrow {
    float:right;
    margin:0px 0px 0px 0;
{'fraction_non_alphanumeric': 0.14945523448602557, 'fraction_numerical': 0.05945049739459972, 'mean_word_length': 2.6753698868581375, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 25, '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': '2050222', 'n_tokens_mistral': 1826, 'n_tokens_neox': 1650, 'n_words': 314}