2017-05-05 16:36:04 +02:00
|
|
|
<?xml version="1.0" encoding="utf-8"?>
|
|
|
|
<resources>
|
2017-06-20 18:48:20 +02:00
|
|
|
<dimen name="drawer_padding">5dp</dimen>
|
2017-08-06 16:30:38 +02:00
|
|
|
<dimen name="toot_padding">5dp</dimen>
|
|
|
|
<dimen name="fab_margin">5dp</dimen>
|
|
|
|
<dimen name="activity_vertical_margin">16dp</dimen>
|
|
|
|
<dimen name="activity_padding_top_header">16dp</dimen>
|
2017-05-05 16:36:04 +02:00
|
|
|
</resources>
|