2016-06-04 17:28:05 +02:00
|
|
|
<resources>
|
|
|
|
|
<!-- Default screen margins, per the Android Design guidelines. -->
|
|
|
|
|
<dimen name="activity_horizontal_margin">16dp</dimen>
|
|
|
|
|
<dimen name="activity_vertical_margin">16dp</dimen>
|
2018-06-04 21:34:21 +02:00
|
|
|
<dimen name="compact_height">30dp</dimen>
|
2016-06-04 17:28:05 +02:00
|
|
|
</resources>
|
