|
|
|
|
<resources>
|
|
|
|
|
|
|
|
|
|
<!-- Margins -->
|
|
|
|
|
<dimen name="margin_default">16dp</dimen>
|
|
|
|
|
<dimen name="margin_half">8dp</dimen>
|
|
|
|
|
<dimen name="margin_torrentlistleft">16dp</dimen>
|
|
|
|
|
|
|
|
|
|
<!-- Text sizes -->
|
|
|
|
|
<dimen name="text_small">12sp</dimen>
|
|
|
|
|
<dimen name="text_default">15sp</dimen>
|
|
|
|
|
<dimen name="text_enlarged">17sp</dimen>
|
|
|
|
|
<dimen name="text_enlargednumbers">24sp</dimen>
|
|
|
|
|
<dimen name="text_hugenumbers">35sp</dimen>
|
|
|
|
|
<dimen name="text_label">14sp</dimen>
|
|
|
|
|
|
|
|
|
|
<!-- UI elements -->
|
|
|
|
|
<dimen name="ui_navigation_filter">17sp</dimen>
|
|
|
|
|
<dimen name="ui_navigation_server">14sp</dimen>
|
|
|
|
|
<dimen name="ui_details_seperator">105dp</dimen>
|
|
|
|
|
<dimen name="ui_serverstatus_margin">2dp</dimen>
|
|
|
|
|
<dimen name="ui_serverstatus_signmargin">3dp</dimen>
|
|
|
|
|
<dimen name="ui_serverstatus_bignumber">21sp</dimen>
|
|
|
|
|
<dimen name="ui_serverstatus_sign">15sp</dimen>
|
|
|
|
|
<dimen name="ui_serverstatus_smallnumber">13sp</dimen>
|
|
|
|
|
<dimen name="ui_serverstatus_width">53dp</dimen>
|
|
|
|
|
|
|
|
|
|
</resources>
|
