equal
deleted
inserted
replaced
1 body { |
1 body { |
2 background-color: #f5f5f5; |
2 background-color: #f5f5f5; |
|
3 } |
|
4 |
|
5 button { |
|
6 font-family: sans-serif; |
3 } |
7 } |
4 |
8 |
5 #corpus-app { |
9 #corpus-app { |
6 font-family: sans-serif; |
10 font-family: sans-serif; |
7 font-size: 12px; |
11 font-size: 12px; |