2016-08-22 16:47:35 +02:00
|
|
|
<resources>
|
|
|
|
<!-- Default screen margins, per the Android Design guidelines. -->
|
|
|
|
<dimen name="activity_horizontal_margin">16dp</dimen>
|
|
|
|
<dimen name="activity_vertical_margin">16dp</dimen>
|
2016-08-22 22:39:19 +02:00
|
|
|
<dimen name="fab_margin">16dp</dimen>
|
|
|
|
<dimen name="appbar_padding_top">8dp</dimen>
|
|
|
|
<dimen name="highscore_textsize">15sp</dimen>
|
2016-09-11 23:35:38 +02:00
|
|
|
<dimen name="gametitle_textsize">12sp</dimen>
|
2016-08-22 16:47:35 +02:00
|
|
|
</resources>
|