feature(gritty) rm redundant .terminal

coderaiser · coderaiser · commit 478b8d343a1b · 2018-04-19T18:23:37.000+03:00
diff --git a/css/gritty.css b/css/gritty.css
@@ -1,7 +1,3 @@
-.terminal {
-    height: 100%;
-}
-
 .xterm-theme-gritty {
     font-family: Menlo, Consolas, "Liberation Mono", Monaco, "Lucida Console", monospace;
 }

Original file line number	Diff line number	Diff line change
`@@ -1,7 +1,3 @@`
`1`		`-.terminal {`
`2`		`- height: 100%;`
`3`		`-}`
`4`		`-`
`5`	`1`	`.xterm-theme-gritty {`
`6`	`2`	`font-family: Menlo, Consolas, "Liberation Mono", Monaco, "Lucida Console", monospace;`
`7`	`3`	`}`