2018-11-04 16:00:44 +01:00
|
|
|
<resources xmlns:tools="http://schemas.android.com/tools">
|
2017-05-05 16:36:04 +02:00
|
|
|
<!-- Default screen margins, per the Android Design guidelines. -->
|
|
|
|
|
<dimen name="activity_horizontal_margin">16dp</dimen>
|
|
|
|
|
<dimen name="activity_vertical_margin">16dp</dimen>
|
2017-06-28 17:42:33 +02:00
|
|
|
<dimen name="activity_padding_header">10dp</dimen>
|
2017-05-05 16:36:04 +02:00
|
|
|
<dimen name="nav_header_vertical_spacing">16dp</dimen>
|
2017-09-23 12:08:52 +02:00
|
|
|
<dimen name="nav_header_height">170dp</dimen>
|
2017-07-07 19:26:26 +02:00
|
|
|
<dimen name="fab_margin">5dp</dimen>
|
2017-05-05 16:36:04 +02:00
|
|
|
<dimen name="drawer_padding">2dp</dimen>
|
|
|
|
|
<dimen name="toot_padding">20dp</dimen>
|
2017-08-12 09:27:20 +02:00
|
|
|
<bool name="isTablet">false</bool>
|
2017-10-15 15:09:09 +02:00
|
|
|
<dimen name="layout_height_header">180dp</dimen>
|
2017-12-29 11:26:56 +01:00
|
|
|
<dimen name="fab_margin_floating">16dp</dimen>
|
2018-10-13 13:04:52 +02:00
|
|
|
<dimen name="item_offset">5dp</dimen>
|
2019-01-23 09:54:26 +01:00
|
|
|
<dimen name="settings_checkbox_margin">2dp</dimen>
|
2019-01-23 13:38:47 +01:00
|
|
|
<dimen name="settings_category_label_margin">2dp</dimen>
|
2017-05-05 16:36:04 +02:00
|
|
|
</resources>
|
