<commit_before>$navsb-titlebar-font-size: 16px;

@mixin searchbox-size-dependent($font-size: 18px,
                                $hpadding: 10px,
                                $vpadding: 12px,
                                $icon-outside-padding: 5px,
                                $icon-inside-padding: 7px) {
    padding: $vpadding $hpadding;
    border-radius: $font-size + 2 * $vpadding;
    font-size: $font-size;

    image.left {
        margin: 4px $icon-inside-padding 4px $icon-outside-padding;
    }

    image.right {
        margin: 4px $icon-outside-padding 4px $icon-inside-padding;
    }
}

@mixin popover-size-dependent($font-size: 18px,
                              $hpadding: 10px,
                              $vpadding: 12px,
                              $gap: 10px,
                              $icon-outside-padding: 5px,
                              $icon-inside-padding: 7px) {
    $icon-size: 16px;  // unchangeable, set by GTK
    font-size: $font-size;

    list {
        margin-top: -12px + $gap;

        row grid {
            $list-right-padding: $hpadding + $icon-outside-padding;
            $list-left-padding: $list-right-padding + $icon-size + $icon-inside-padding;
            // left and right must align the text and arrow to the same pixel as
            // the search box
            padding: $vpadding $list-right-padding $vpadding $list-left-padding;<commit_msg>Navigation.SearchBox: Compensate for icon sizes<commit_after>$navsb-titlebar-font-size: 16px;

@mixin searchbox-size-dependent($font-size: 18px,
                                $hpadding: 10px,
                                $vpadding: 12px,
                                $icon-outside-padding: 5px,
                                $icon-inside-padding: 7px) {
    // Extra padding for the search icon (left) to compensate for the arrow
    // icon containing more blank space inside it
    $arrow-compensation: 2px;

    padding: $vpadding $hpadding $vpadding ($hpadding + $arrow-compensation);
    border-radius: $font-size + 2 * $vpadding;
    font-size: $font-size;

    image.left {
        margin: 4px $icon-inside-padding 4px $icon-outside-padding;
    }

    image.right {
        margin: 4px $icon-outside-padding 4px $icon-inside-padding;
    }
}

@mixin popover-size-dependent($font-size: 18px,
                              $hpadding: 10px,
                              $vpadding: 12px,
                              $gap: 10px,
                              $icon-outside-padding: 5px,
                              $icon-inside-padding: 7px) {
    $icon-size: 16px;  // unchangeable, set by GTK
    $arrow-compensation: 2px;  // see above

    font-size: $font-size;

    list {
        margin-top: -12px + $gap;

        row grid {
            $list-right-padding: $hpadding + $icon-outside-padding;
            $list-left-padding: $list-right-padding + $arrow-compensation + $icon-size + $icon-inside-padding;
            // left and right must align the text and arrow to the same pixel as
            // the search box
            padding: $vpadding $list-right-padding $vpadding $list-left-padding;
{'fraction_non_alphanumeric': 0.11146496815286625, 'fraction_numerical': 0.01910828025477707, 'mean_word_length': 1.5515840779853778, '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': '3737616', 'n_tokens_mistral': 1009, 'n_tokens_neox': 900, 'n_words': 212}