2017-04-20 18:23:59 +02:00
|
|
|
<resources>
|
|
|
|
|
<!-- Default screen margins, per the Android Design guidelines. -->
|
2017-04-23 07:42:09 +02:00
|
|
|
<dimen name="activity_horizontal_margin">12dp</dimen>
|
|
|
|
|
<dimen name="activity_vertical_margin">12dp</dimen>
|
|
|
|
|
<dimen name="nav_header_vertical_spacing">12dp</dimen>
|
2017-04-20 18:23:59 +02:00
|
|
|
<dimen name="nav_header_height">160dp</dimen>
|
2017-04-23 07:42:09 +02:00
|
|
|
<dimen name="fab_margin">12dp</dimen>
|
2017-04-20 18:23:59 +02:00
|
|
|
</resources>
|
