2014-11-04 12:08:30 -05:00
|
|
|
<resources>
|
2015-04-28 08:46:52 -04:00
|
|
|
<!-- Default screen margins, per the Android Design guidelines. -->
|
|
|
|
<dimen name="activity_horizontal_margin">8dp</dimen>
|
|
|
|
<dimen name="activity_vertical_margin">8dp</dimen>
|
2015-01-13 05:52:41 -05:00
|
|
|
<dimen name="infocard_padding">16dp</dimen>
|
2015-04-28 08:46:52 -04:00
|
|
|
<dimen name="image_button_padding">8dp</dimen>
|
2016-10-13 06:17:20 -04:00
|
|
|
<dimen name="fineprint_size">11sp</dimen>
|
2017-03-03 05:31:44 -05:00
|
|
|
<dimen name="menu_item_icon_size">24dp</dimen>
|
2017-03-04 09:07:25 -05:00
|
|
|
<dimen name="swipe_handle_size">24dp</dimen>
|
2014-11-04 12:08:30 -05:00
|
|
|
</resources>
|