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