2019-02-13 14:32:54 +01:00
|
|
|
<resources>
|
2017-05-05 16:36:04 +02:00
|
|
|
<!-- Default screen margins, per the Android Design guidelines. -->
|
|
|
|
|
<dimen name="activity_horizontal_margin">16dp</dimen>
|
|
|
|
|
<dimen name="activity_vertical_margin">16dp</dimen>
|
|
|
|
|
<dimen name="nav_header_vertical_spacing">16dp</dimen>
|
2017-09-23 12:08:52 +02:00
|
|
|
<dimen name="nav_header_height">170dp</dimen>
|
2017-07-07 19:26:26 +02:00
|
|
|
<dimen name="fab_margin">5dp</dimen>
|
2017-05-05 16:36:04 +02:00
|
|
|
<dimen name="drawer_padding">2dp</dimen>
|
2019-03-30 20:14:34 +01:00
|
|
|
<dimen name="toot_padding">10dp</dimen>
|
2017-08-12 09:27:20 +02:00
|
|
|
<bool name="isTablet">false</bool>
|
2017-10-15 15:09:09 +02:00
|
|
|
<dimen name="layout_height_header">180dp</dimen>
|
2017-12-29 11:26:56 +01:00
|
|
|
<dimen name="fab_margin_floating">16dp</dimen>
|
2018-10-13 13:04:52 +02:00
|
|
|
<dimen name="item_offset">5dp</dimen>
|
2019-09-22 18:21:17 +02:00
|
|
|
<dimen name="settings_option_margin">10dp</dimen>
|
2019-02-13 14:32:54 +01:00
|
|
|
<dimen name="activity_vertical_margin_login">50dp</dimen>
|
2019-02-15 18:19:32 +01:00
|
|
|
<dimen name="badge_count_textsize">12sp</dimen>
|
2019-05-30 15:19:02 +02:00
|
|
|
<dimen name="editor_size">35dp</dimen>
|
2017-05-05 16:36:04 +02:00
|
|
|
</resources>
|
