benchmarks/other/PhoneInterface/Irrigation/app/src/main/res/values/dimens.xml

   1 <resources>
   2     <!-- Default screen margins, per the Android Design guidelines. -->
   3     <dimen name="activity_horizontal_margin">16dp</dimen>
   4     <dimen name="activity_vertical_margin">16dp</dimen>
   5     <dimen name="fab_margin">16dp</dimen>
   6 </resources>