Fix margins on newer Android versions.

diff --git a/res/layout/dictionary_activity.xml b/res/layout/dictionary_activity.xml
index ca812d18f4083a923e321cf6356acb0dd6f15f47..aca497c312408f07d728ca0797c3bc877a758160 100644 (file)
--- a/res/layout/dictionary_activity.xml
+++ b/res/layout/dictionary_activity.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="utf-8"?>
-<RelativeLayout xmlns:android="http://schemas.android.com/apk/res/android"
+<RelativeLayout xmlns:android="http://schemas.android.com/apk/res/android" xmlns:app="http://schemas.android.com/apk/res-auto"
     android:layout_width="fill_parent"
     android:layout_height="fill_parent"
     android:orientation="vertical" >
@@ -51,6 +51,7 @@
 
      <android.support.design.widget.FloatingActionButton
         android:id="@+id/floatSwapButton"
+        app:useCompatPadding="true"
         android:layout_alignParentBottom="true"
         android:layout_alignParentRight="true"
         android:layout_width="wrap_content"
@@ -59,6 +60,7 @@
 
      <android.support.design.widget.FloatingActionButton
         android:id="@+id/floatSearchButton"
+        app:useCompatPadding="true"
         android:layout_toLeftOf="@+id/floatSwapButton"
         android:layout_alignParentBottom="true"
         android:layout_width="wrap_content"