chromium/chrome/browser/ui/android/appmenu/internal/java/res/values/dimens.xml

<?xml version="1.0" encoding="utf-8"?>
<!--
Copyright 2019 The Chromium Authors
Use of this source code is governed by a BSD-style license that can be
found in the LICENSE file.
-->

<resources>
    <!-- The amount to fade the edges of the menu to indicate more content is available
         via scrolling. -->
    <dimen name="menu_vertical_fade_distance">15dp</dimen>
    <dimen name="menu_negative_vertical_offset_not_top_anchored">44dp</dimen>

    <!-- Menu button dragging related dimensions -->
    <dimen name="auto_scroll_full_velocity">500dp</dimen>

    <!-- Menu chip dimensions -->
    <dimen name="menu_chip_highlight_extension">4dp</dimen>

    <!-- Menu action bar bg elevation -->
    <dimen name="menu_action_bar_bg_elev">@dimen/default_elevation_1</dimen>

    <!-- Menu item icon badge dimensions. -->
    <dimen name="menu_item_icon_badge_size">8dp</dimen>
    <dimen name="menu_item_icon_badge_border_size">2dp</dimen>
</resources>