2014-11-04 17:08:30 +00:00
|
|
|
<resources>
|
2015-04-28 12:46:52 +00: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 10:52:41 +00:00
|
|
|
<dimen name="infocard_padding">16dp</dimen>
|
2015-04-28 12:46:52 +00:00
|
|
|
<dimen name="image_button_padding">8dp</dimen>
|
2016-10-13 10:17:20 +00:00
|
|
|
<dimen name="fineprint_size">11sp</dimen>
|
2017-03-04 20:20:39 +00:00
|
|
|
<dimen name="swipe_handle_size">32dp</dimen>
|
2014-11-04 17:08:30 +00:00
|
|
|
</resources>
|