equal
deleted
inserted
replaced
|
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> |