2018-08-29 11:59:10 +00:00
|
|
|
<!-- This file has been modified by whb. -->
|
2018-07-09 18:08:42 +00: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-08-29 11:59:10 +00:00
|
|
|
<dimen name="text_margin">16dp</dimen>
|
|
|
|
|
|
2018-07-09 18:08:42 +00:00
|
|
|
</resources>
|
