dejsem.1.5/android/dejsem.studio/app/src/main/res/values/dimens.xml
changeset 0 676905a3b03c
equal deleted inserted replaced
-1:000000000000 0:676905a3b03c
       
     1 <?xml version="1.0" encoding="utf-8"?>
       
     2 <resources>
       
     3     <dimen name="file_icon_size">24sp</dimen>
       
     4     <dimen name="file_name_size">18sp</dimen>
       
     5     <dimen name="file_attr_size">12sp</dimen>
       
     6     <dimen name="dir_name_size">18sp</dimen>
       
     7     <dimen name="button_small">8sp</dimen>
       
     8     <dimen name="border_thin">2dp</dimen>
       
     9     <dimen name="border">6dp</dimen>
       
    10     <!-- Default screen margins, per the Android Design guidelines. -->
       
    11 	<dimen name="activity_horizontal_margin">16dp</dimen>
       
    12 	<dimen name="activity_vertical_margin">16dp</dimen>
       
    13 </resources>