mirror of
https://github.com/keymanapp/keyman.git
synced 2026-11-08 00:47:30 +00:00
26 lines
1.2 KiB
XML
26 lines
1.2 KiB
XML
<resources>
|
|
|
|
<!-- Default screen margins, per the Android Design guidelines. -->
|
|
<dimen name="product_logo_bottom">200dp</dimen>
|
|
<dimen name="activity_splash_bottom">10dp</dimen>
|
|
<dimen name="activity_splash_textsize">20sp</dimen>
|
|
<dimen name="activity_horizontal_margin">16dp</dimen>
|
|
<dimen name="activity_vertical_margin">16dp</dimen>
|
|
<dimen name="label_width">350dp</dimen>
|
|
<dimen name="titlebar_label_textsize">16sp</dimen>
|
|
<dimen name="button_playstore_margin">8dp</dimen>
|
|
<dimen name="button_playstore_padding">10dp</dimen>
|
|
<dimen name="blank_osk_padding">5dp</dimen>
|
|
<dimen name="update_chrome_label_textsize">16sp</dimen>
|
|
<dimen name="adjust_keyboard_height_label_textsize">12sp</dimen>
|
|
<dimen name="info_label_textsize">12sp</dimen>
|
|
<dimen name="info_label_height">30dp</dimen>
|
|
<dimen name="package_label_width">350dp</dimen>
|
|
<dimen name="keyman_bar_height">8dp</dimen>
|
|
<dimen name="checkbox_margin">8dp</dimen>
|
|
<dimen name="checkbox_margin_left">15dp</dimen>
|
|
<dimen name="checkbox_padding">10dp</dimen>
|
|
<dimen name="preference_icon">32dp</dimen>
|
|
<dimen name="update_indicator_size">16dp</dimen>
|
|
<dimen name="update_indicator_bg_margin">0dp</dimen>
|
|
</resources>
|