commit 215fc2ab77fb2c123813a17405ed9a1440e1d932
author Ivan Yeo <ivanyeo@cs.ucla.edu> Tue Mar 17 22:35:04 2015 -0700
committer Alexander Afanasyev <alexander.afanasyev@ucla.edu> Fri Apr 10 19:52:10 2015 -0700
tree 136ce45b9b3e6de1a4934285581ffc2e1b049241
parent 9255232b9ff871c95f2926be86b1bbf5d31fd1d1

gui: Convert UI to use Fragments

Change-Id: I7269604a1da72e6b22f4bbac31c1f5561660ccf5
Refs: #2646, #2667

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 47c8224..5d96952 100644
--- a/app/src/main/res/values/dimens.xml
+++ b/app/src/main/res/values/dimens.xml
@@ -2,4 +2,8 @@
     <!-- Default screen margins, per the Android Design guidelines. -->
     <dimen name="activity_horizontal_margin">16dp</dimen>
     <dimen name="activity_vertical_margin">16dp</dimen>
+
+    <dimen name="default_padding_left">16dp</dimen>
+    <dimen name="default_padding_right">16dp</dimen>
+    <dimen name="drawer_width">192dp</dimen>
 </resources>