From d9d7e4edefb4ea4337e891125ab569db6a4424a5 Mon Sep 17 00:00:00 2001
From: Fup Duck <fupduck@sacknagel.com>
Date: Sat, 13 Jan 2018 17:29:19 +0100
Subject: add padding to f_log

---
 app/src/main/res/values/dimens.xml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'app/src/main/res/values/dimens.xml')

diff --git a/app/src/main/res/values/dimens.xml b/app/src/main/res/values/dimens.xml
index b9a3890f..3e06cbe2 100644
--- a/app/src/main/res/values/dimens.xml
+++ b/app/src/main/res/values/dimens.xml
@@ -16,7 +16,9 @@
     <dimen name="round_button_diameter">56dp</dimen>
     <dimen name="switchbar_pad">16dp</dimen>
     <dimen name="vpn_setting_padding">16dp</dimen>
+
     <!-- Default screen margins, per the Android Design guidelines. -->
+    <dimen name="activity_margin">16dp</dimen>
     <dimen name="activity_horizontal_margin">16dp</dimen>
     <dimen name="activity_vertical_margin">16dp</dimen>
 
-- 
cgit v1.2.3