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>
|
2018-02-18 15:17:11 +01:00
|
|
|
<dimen name="card_padding_regular">16dp</dimen>
|
|
|
|
|
<dimen name="card_padding_list">8dp</dimen> <!-- card_padding_regular minus list_padding -->
|
|
|
|
|
<dimen name="list_padding">8dp</dimen>
|
2018-02-17 22:53:54 +01:00
|
|
|
<dimen name="image_button_padding">12dp</dimen>
|
2018-02-18 18:38:46 +01:00
|
|
|
<dimen name="key_action_width">48dp</dimen> <!-- icon width (24dp) + 2 * image button padding -->
|
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>
|
2018-02-18 18:38:46 +01:00
|
|
|
<dimen name="avatar_item_distance">16dp</dimen>
|
2014-11-04 18:08:30 +01:00
|
|
|
</resources>
|
