From 93d2d40a37818f923a0ebafaad77a5c452c2a414 Mon Sep 17 00:00:00 2001 From: rodin Date: Tue, 17 Nov 2009 12:06:03 +0000 Subject: [PATCH] Updated default styles to use a slightly larger font --- tests/style.css | 19 ++++++++++++++++--- 1 file changed, 16 insertions(+), 3 deletions(-) diff --git a/tests/style.css b/tests/style.css index 7677853..4a0d51f 100644 --- a/tests/style.css +++ b/tests/style.css @@ -1,4 +1,8 @@ -/* Possible selectors: +/* Possible windows: + * grid + * buffer + * + * Possible selectors: * normal * emphasized * preformatted @@ -20,8 +24,17 @@ * background-color (#hex-value) * text-align (left/right/center) */ +grid.normal { + font-size: 14; +} + +grid.user1 { + color: #303030; + background-color: #ffffff; +} + buffer.normal { - font-size: 12; + font-size: 14; } buffer.header { @@ -31,7 +44,7 @@ buffer.header { } buffer.subheader { - font-size: 14; + font-size: 16; font-weight: bold; } -- 2.30.2