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="audio_player_width">224dp</dimen>
 9	<dimen name="swipe_handle_size">32dp</dimen>
10</resources>