1<resources>
2	<!-- Default screen margins, per the Android Design guidelines. -->
3	<dimen name="activity_horizontal_margin">8dp</dimen>
4	<dimen name="activity_vertical_margin">8dp</dimen>
5	<dimen name="infocard_padding">16dp</dimen>
6	<dimen name="image_button_padding">8dp</dimen>
7	<dimen name="fineprint_size">11sp</dimen>
8	<dimen name="swipe_handle_size">32dp</dimen>
9</resources>