<resources>
    <!-- Default screen margins, per the Android Design guidelines. -->
    <dimen name="activity_horizontal_margin">16dp</dimen>
    <dimen name="activity_vertical_margin">16dp</dimen>
    <dimen name="preference_margin">6dp</dimen>
    <dimen name="preference_margin_left">15dp</dimen>
    <dimen name="preference_margin_right">6dp</dimen>
    <dimen name="preference_margin_top">6dp</dimen>
    <dimen name="preference_margin_bottom">6dp</dimen>
</resources>
