Index: ui/file_manager/file_manager/foreground/css/file_manager.css |
diff --git a/ui/file_manager/file_manager/foreground/css/file_manager.css b/ui/file_manager/file_manager/foreground/css/file_manager.css |
index aa22019f8ec895001df96b97341b3a8b81dd8132..3151ac4a372535cb7249cfea9ab1ec02c5081050 100644 |
--- a/ui/file_manager/file_manager/foreground/css/file_manager.css |
+++ b/ui/file_manager/file_manager/foreground/css/file_manager.css |
@@ -48,6 +48,7 @@ body { |
display: flex; |
flex: auto; |
flex-direction: column; |
+ font-size: 81%; |
yawano
2015/02/06 01:33:23
Is this a change to make font-size slightly "small
fukino
2015/02/06 06:39:21
The default size is 75%.
yawano
2015/02/06 06:46:40
Sorry, I missed that default font-size is defined
|
height: 100%; |
margin: 0; |
padding: 0; |