<commit_before><resources>

    <!-- Default screen margins, per the Android Design guidelines. -->
    <dimen name="title_font">12sp</dimen>
    <dimen name="top_bar_height">40dp</dimen>
    
    <dimen name="infoaction_margin">10dp</dimen>
    <dimen name="info_menu_width">250dp</dimen>
    <dimen name="infolink_font">12sp</dimen>
    
    <dimen name="url_prefix_font">10sp</dimen>
    <dimen name="url_prefix_width">100dp</dimen>
    <dimen name="url_postfix_width">30dp</dimen>
    <dimen name="clearaction_margin">35dp</dimen>
    <dimen name="goaction_margin">7dp</dimen>
    
    <dimen name="serverurlarea_height">35dp</dimen>
    <dimen name="urlfont">10sp</dimen>
    
    <dimen name="nci_font">16sp</dimen>
    <dimen name="nci_font_value">18sp</dimen>
    <dimen name="index_font">10sp</dimen>
    <dimen name="index_font_value">12sp</dimen>
    <dimen name="undated_font">10sp</dimen>
    <dimen name="indexarea_margin">20dp</dimen>
    
    <dimen name="hint_font">12sp</dimen>
    <dimen name="loading_font">14sp</dimen>
    <dimen name="loading_margin_top">15dp</dimen>
    <dimen name="nciValue_margin">10dp</dimen>
    <dimen name="indexValue_margin">10dp</dimen>
    
    <dimen name="activity_horizontal_margin">6dp</dimen>
    <dimen name="activity_vertical_margin">6dp</dimen>
    
    <dimen name="info_menuitem_heigth">30dp</dimen>
    <dimen name="deleteicon_margin">5dp</dimen>
   
    <dimen name="title_font_size">20dp</dimen>
    <dimen name="domain_label_font_size">13dp</dimen>
    <dimen name="range_label_font_size">13dp</dimen>
    <dimen name="range_tick_label_font_size">15dp</dimen>
    <dimen name="domain_tick_label_font_size">15dp</dimen>
    
    <dimen name="zoombtn">30dp</dimen>
    <dimen name="zoombtn_font">12dp</dimen>
    <dimen name="zoombtn_margin">5dp</dimen>
    
    <dimen name="bottomplot_height">70dp</dimen>
    
    <dimen name="popup_xoffset">15dp</dimen>
    <dimen name="popup_yoffset">20dp</dimen>

</resources><commit_msg>Decrease indent for hint-popus on phones<commit_after><resources>

    <!-- Default screen margins, per the Android Design guidelines. -->
    <dimen name="title_font">12sp</dimen>
    <dimen name="top_bar_height">40dp</dimen>
    
    <dimen name="infoaction_margin">10dp</dimen>
    <dimen name="info_menu_width">250dp</dimen>
    <dimen name="infolink_font">12sp</dimen>
    
    <dimen name="url_prefix_font">10sp</dimen>
    <dimen name="url_prefix_width">100dp</dimen>
    <dimen name="url_postfix_width">30dp</dimen>
    <dimen name="clearaction_margin">35dp</dimen>
    <dimen name="goaction_margin">7dp</dimen>
    
    <dimen name="serverurlarea_height">35dp</dimen>
    <dimen name="urlfont">10sp</dimen>
    
    <dimen name="nci_font">16sp</dimen>
    <dimen name="nci_font_value">18sp</dimen>
    <dimen name="index_font">10sp</dimen>
    <dimen name="index_font_value">12sp</dimen>
    <dimen name="undated_font">10sp</dimen>
    <dimen name="indexarea_margin">20dp</dimen>
    
    <dimen name="hint_font">12sp</dimen>
    <dimen name="loading_font">14sp</dimen>
    <dimen name="loading_margin_top">15dp</dimen>
    <dimen name="nciValue_margin">10dp</dimen>
    <dimen name="indexValue_margin">10dp</dimen>
    
    <dimen name="activity_horizontal_margin">6dp</dimen>
    <dimen name="activity_vertical_margin">6dp</dimen>
    
    <dimen name="info_menuitem_heigth">30dp</dimen>
    <dimen name="deleteicon_margin">5dp</dimen>
   
    <dimen name="title_font_size">20dp</dimen>
    <dimen name="domain_label_font_size">13dp</dimen>
    <dimen name="range_label_font_size">13dp</dimen>
    <dimen name="range_tick_label_font_size">15dp</dimen>
    <dimen name="domain_tick_label_font_size">15dp</dimen>
    
    <dimen name="zoombtn">30dp</dimen>
    <dimen name="zoombtn_font">12dp</dimen>
    <dimen name="zoombtn_margin">5dp</dimen>
    
    <dimen name="bottomplot_height">70dp</dimen>
    
    <dimen name="popup_xoffset">15dp</dimen>
    <dimen name="popup_yoffset">10dp</dimen>

</resources>
{'fraction_non_alphanumeric': 0.1604691789368605, 'fraction_numerical': 0.036436236585974544, 'mean_word_length': 4.783549783549783, 'pattern_counts': {'":': 0, '<': 161, '<?xml version=': 0, '>': 161, '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': '1876856', 'n_tokens_mistral': 1610, 'n_tokens_neox': 1385, 'n_words': 176}