|
0
|
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>
|