dejsem.1.5/android/dejsem.studio/app/src/main/res/values/dimens.xml
author hh
Wed, 27 Nov 2019 09:50:16 +0100
changeset 0 676905a3b03c
permissions -rw-r--r--
--
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
0
hh
parents:
diff changeset
     1
<?xml version="1.0" encoding="utf-8"?>
hh
parents:
diff changeset
     2
<resources>
hh
parents:
diff changeset
     3
    <dimen name="file_icon_size">24sp</dimen>
hh
parents:
diff changeset
     4
    <dimen name="file_name_size">18sp</dimen>
hh
parents:
diff changeset
     5
    <dimen name="file_attr_size">12sp</dimen>
hh
parents:
diff changeset
     6
    <dimen name="dir_name_size">18sp</dimen>
hh
parents:
diff changeset
     7
    <dimen name="button_small">8sp</dimen>
hh
parents:
diff changeset
     8
    <dimen name="border_thin">2dp</dimen>
hh
parents:
diff changeset
     9
    <dimen name="border">6dp</dimen>
hh
parents:
diff changeset
    10
    <!-- Default screen margins, per the Android Design guidelines. -->
hh
parents:
diff changeset
    11
	<dimen name="activity_horizontal_margin">16dp</dimen>
hh
parents:
diff changeset
    12
	<dimen name="activity_vertical_margin">16dp</dimen>
hh
parents:
diff changeset
    13
</resources>