2017-08-18 22:48:51 +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-07-09 23:33:42 +00:00
|
|
|
|
2017-12-14 05:02:00 +00:00
|
|
|
<dimen name="app_bar_height">140sp</dimen>
|
2017-08-18 22:48:51 +00:00
|
|
|
<dimen name="fab_margin">16dp</dimen>
|
|
|
|
|
2018-07-12 15:32:01 +00:00
|
|
|
<!-- Spacing between widgets vertically -->
|
|
|
|
<dimen name="spacing_same_topic">16dp</dimen>
|
|
|
|
<dimen name="spacing_different_topic">24dp</dimen>
|
|
|
|
<dimen name="spacing_different_section">40dp</dimen>
|
|
|
|
|
2017-08-18 22:48:51 +00:00
|
|
|
<!-- Settings -->
|
2018-07-09 23:33:42 +00:00
|
|
|
<dimen name="icon_size">60dp</dimen>
|
2017-08-18 22:48:51 +00:00
|
|
|
</resources>
|