Mercurial > web-gnusto

annotate gnusto.css @ 68:5716cb072c43

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Simplified CSS. The width of the central column is now dynamically determined by calculating the width of a 80-column, fixed-pitch line. The top window is also more faithful to its intended presentation in that it doesn't always display in reverse video.
author Atul Varma <varmaa@toolness.com>
date Sat, 17 May 2008 02:14:49 -0700
parents f380e3b3785d
children 23f9e15fa690
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
19
48cb02f25398 Added very simple style sheet.
Atul Varma <varmaa@toolness.com>
parents:
diff changeset
1 body {
48cb02f25398 Added very simple style sheet.
Atul Varma <varmaa@toolness.com>
parents:
diff changeset
2 font-family: palatino, georgia, verdana, arial, sans-serif;
20
a6644169142b Enhanced style sheet a bit.
Atul Varma <varmaa@toolness.com>
parents: 19
diff changeset
3 text-align: center;
40
832c043dfd47 Removed the scrollbar from appearing. This fixes some dynamic layout issues, too, as the client area can no longer change due to a scrollbar appearing.
Atul Varma <varmaa@toolness.com>
parents: 39
diff changeset
4 overflow: hidden;
46
b427293b62e4 The top window and bottom window are now placed at a proper distance apart from each other.
Atul Varma <varmaa@toolness.com>
parents: 40
diff changeset
5 margin-top: 0px;
b427293b62e4 The top window and bottom window are now placed at a proper distance apart from each other.
Atul Varma <varmaa@toolness.com>
parents: 40
diff changeset
6 margin-bottom: 8px;
19
48cb02f25398 Added very simple style sheet.
Atul Varma <varmaa@toolness.com>
parents:
diff changeset
7 }
20
a6644169142b Enhanced style sheet a bit.
Atul Varma <varmaa@toolness.com>
parents: 19
diff changeset
8
65
f380e3b3785d Finally got quotations in Curses and Troll looking decent, although it's potentially a somewhat fragile solution.
Atul Varma <varmaa@toolness.com>
parents: 52
diff changeset
9 .buffered-window {
f380e3b3785d Finally got quotations in Curses and Troll looking decent, although it's potentially a somewhat fragile solution.
Atul Varma <varmaa@toolness.com>
parents: 52
diff changeset
10 text-align: center;
f380e3b3785d Finally got quotations in Curses and Troll looking decent, although it's potentially a somewhat fragile solution.
Atul Varma <varmaa@toolness.com>
parents: 52
diff changeset
11 margin: 0 auto;
f380e3b3785d Finally got quotations in Curses and Troll looking decent, although it's potentially a somewhat fragile solution.
Atul Varma <varmaa@toolness.com>
parents: 52
diff changeset
12 font-family: monaco;
68
5716cb072c43 Simplified CSS. The width of the central column is now dynamically determined by calculating the width of a 80-column, fixed-pitch line. The top window is also more faithful to its intended presentation in that it doesn't always display in reverse video.
Atul Varma <varmaa@toolness.com>
parents: 65
diff changeset
13 font-size: 10pt;
5716cb072c43 Simplified CSS. The width of the central column is now dynamically determined by calculating the width of a 80-column, fixed-pitch line. The top window is also more faithful to its intended presentation in that it doesn't always display in reverse video.
Atul Varma <varmaa@toolness.com>
parents: 65
diff changeset
14 line-height: 12pt;
65
f380e3b3785d Finally got quotations in Curses and Troll looking decent, although it's potentially a somewhat fragile solution.
Atul Varma <varmaa@toolness.com>
parents: 52
diff changeset
15 top: 0px;
f380e3b3785d Finally got quotations in Curses and Troll looking decent, although it's potentially a somewhat fragile solution.
Atul Varma <varmaa@toolness.com>
parents: 52
diff changeset
16 left: 0px;
f380e3b3785d Finally got quotations in Curses and Troll looking decent, although it's potentially a somewhat fragile solution.
Atul Varma <varmaa@toolness.com>
parents: 52
diff changeset
17 position: fixed;
f380e3b3785d Finally got quotations in Curses and Troll looking decent, although it's potentially a somewhat fragile solution.
Atul Varma <varmaa@toolness.com>
parents: 52
diff changeset
18 z-index: 0;
f380e3b3785d Finally got quotations in Curses and Troll looking decent, although it's potentially a somewhat fragile solution.
Atul Varma <varmaa@toolness.com>
parents: 52
diff changeset
19 }
f380e3b3785d Finally got quotations in Curses and Troll looking decent, although it's potentially a somewhat fragile solution.
Atul Varma <varmaa@toolness.com>
parents: 52
diff changeset
20
37
9e7a743ccac5 Added very, very buggy support for the top window.
Atul Varma <varmaa@toolness.com>
parents: 23
diff changeset
21 #top-window {
65
f380e3b3785d Finally got quotations in Curses and Troll looking decent, although it's potentially a somewhat fragile solution.
Atul Varma <varmaa@toolness.com>
parents: 52
diff changeset
22 z-index: 1;
37
9e7a743ccac5 Added very, very buggy support for the top window.
Atul Varma <varmaa@toolness.com>
parents: 23
diff changeset
23 }
9e7a743ccac5 Added very, very buggy support for the top window.
Atul Varma <varmaa@toolness.com>
parents: 23
diff changeset
24
20
a6644169142b Enhanced style sheet a bit.
Atul Varma <varmaa@toolness.com>
parents: 19
diff changeset
25 #content {
a6644169142b Enhanced style sheet a bit.
Atul Varma <varmaa@toolness.com>
parents: 19
diff changeset
26 text-align: left;
a6644169142b Enhanced style sheet a bit.
Atul Varma <varmaa@toolness.com>
parents: 19
diff changeset
27 margin: 0 auto;
a6644169142b Enhanced style sheet a bit.
Atul Varma <varmaa@toolness.com>
parents: 19
diff changeset
28 }
23
45cd43896709 Added a cursor. It blinks!
Atul Varma <varmaa@toolness.com>
parents: 20
diff changeset
29
45cd43896709 Added a cursor. It blinks!
Atul Varma <varmaa@toolness.com>
parents: 20
diff changeset
30 #cursor {
45cd43896709 Added a cursor. It blinks!
Atul Varma <varmaa@toolness.com>
parents: 20
diff changeset
31 text-decoration: blink;
45cd43896709 Added a cursor. It blinks!
Atul Varma <varmaa@toolness.com>
parents: 20
diff changeset
32 }
39
f346d0d99f78 Fixed some bugs regarding the escaping of output, some CSS changes.
Atul Varma <varmaa@toolness.com>
parents: 37
diff changeset
33
f346d0d99f78 Fixed some bugs regarding the escaping of output, some CSS changes.
Atul Varma <varmaa@toolness.com>
parents: 37
diff changeset
34 .finished-input {
f346d0d99f78 Fixed some bugs regarding the escaping of output, some CSS changes.
Atul Varma <varmaa@toolness.com>
parents: 37
diff changeset
35 color: gray;
f346d0d99f78 Fixed some bugs regarding the escaping of output, some CSS changes.
Atul Varma <varmaa@toolness.com>
parents: 37
diff changeset
36 }
49
2c4d6b171f60 Text styles now display properly in the lower window (but not the upper one, yet).
Atul Varma <varmaa@toolness.com>
parents: 46
diff changeset
37
2c4d6b171f60 Text styles now display properly in the lower window (but not the upper one, yet).
Atul Varma <varmaa@toolness.com>
parents: 46
diff changeset
38 .z-roman {
2c4d6b171f60 Text styles now display properly in the lower window (but not the upper one, yet).
Atul Varma <varmaa@toolness.com>
parents: 46
diff changeset
39 color: #000000;
2c4d6b171f60 Text styles now display properly in the lower window (but not the upper one, yet).
Atul Varma <varmaa@toolness.com>
parents: 46
diff changeset
40 }
2c4d6b171f60 Text styles now display properly in the lower window (but not the upper one, yet).
Atul Varma <varmaa@toolness.com>
parents: 46
diff changeset
41
2c4d6b171f60 Text styles now display properly in the lower window (but not the upper one, yet).
Atul Varma <varmaa@toolness.com>
parents: 46
diff changeset
42 .z-reverse-video {
2c4d6b171f60 Text styles now display properly in the lower window (but not the upper one, yet).
Atul Varma <varmaa@toolness.com>
parents: 46
diff changeset
43 color: #ffffff;
2c4d6b171f60 Text styles now display properly in the lower window (but not the upper one, yet).
Atul Varma <varmaa@toolness.com>
parents: 46
diff changeset
44 background: #000000;
2c4d6b171f60 Text styles now display properly in the lower window (but not the upper one, yet).
Atul Varma <varmaa@toolness.com>
parents: 46
diff changeset
45 }
2c4d6b171f60 Text styles now display properly in the lower window (but not the upper one, yet).
Atul Varma <varmaa@toolness.com>
parents: 46
diff changeset
46
2c4d6b171f60 Text styles now display properly in the lower window (but not the upper one, yet).
Atul Varma <varmaa@toolness.com>
parents: 46
diff changeset
47 .z-bold {
2c4d6b171f60 Text styles now display properly in the lower window (but not the upper one, yet).
Atul Varma <varmaa@toolness.com>
parents: 46
diff changeset
48 font-variant: small-caps;
2c4d6b171f60 Text styles now display properly in the lower window (but not the upper one, yet).
Atul Varma <varmaa@toolness.com>
parents: 46
diff changeset
49 }
2c4d6b171f60 Text styles now display properly in the lower window (but not the upper one, yet).
Atul Varma <varmaa@toolness.com>
parents: 46
diff changeset
50
2c4d6b171f60 Text styles now display properly in the lower window (but not the upper one, yet).
Atul Varma <varmaa@toolness.com>
parents: 46
diff changeset
51 .z-italic {
2c4d6b171f60 Text styles now display properly in the lower window (but not the upper one, yet).
Atul Varma <varmaa@toolness.com>
parents: 46
diff changeset
52 font-style: italic;
2c4d6b171f60 Text styles now display properly in the lower window (but not the upper one, yet).
Atul Varma <varmaa@toolness.com>
parents: 46
diff changeset
53 }
2c4d6b171f60 Text styles now display properly in the lower window (but not the upper one, yet).
Atul Varma <varmaa@toolness.com>
parents: 46
diff changeset
54
2c4d6b171f60 Text styles now display properly in the lower window (but not the upper one, yet).
Atul Varma <varmaa@toolness.com>
parents: 46
diff changeset
55 .z-fixed-pitch {
2c4d6b171f60 Text styles now display properly in the lower window (but not the upper one, yet).
Atul Varma <varmaa@toolness.com>
parents: 46
diff changeset
56 font-family: monaco;
2c4d6b171f60 Text styles now display properly in the lower window (but not the upper one, yet).
Atul Varma <varmaa@toolness.com>
parents: 46
diff changeset
57 }
52
a1e72e9c4bf7 The top window now supports styles, although due to some layout issues, as well as some aesthetic considerations, I've decided to ignore the reverse-video style and have anything in the top window always displayed in reverse video. This can be changed later via CSS and, I think, some code changes.
Atul Varma <varmaa@toolness.com>
parents: 49
diff changeset
58
a1e72e9c4bf7 The top window now supports styles, although due to some layout issues, as well as some aesthetic considerations, I've decided to ignore the reverse-video style and have anything in the top window always displayed in reverse video. This can be changed later via CSS and, I think, some code changes.
Atul Varma <varmaa@toolness.com>
parents: 49
diff changeset
59 #top-window .z-bold {
a1e72e9c4bf7 The top window now supports styles, although due to some layout issues, as well as some aesthetic considerations, I've decided to ignore the reverse-video style and have anything in the top window always displayed in reverse video. This can be changed later via CSS and, I think, some code changes.
Atul Varma <varmaa@toolness.com>
parents: 49
diff changeset
60 font-variant: none;
a1e72e9c4bf7 The top window now supports styles, although due to some layout issues, as well as some aesthetic considerations, I've decided to ignore the reverse-video style and have anything in the top window always displayed in reverse video. This can be changed later via CSS and, I think, some code changes.
Atul Varma <varmaa@toolness.com>
parents: 49
diff changeset
61 font-weight: bold;
a1e72e9c4bf7 The top window now supports styles, although due to some layout issues, as well as some aesthetic considerations, I've decided to ignore the reverse-video style and have anything in the top window always displayed in reverse video. This can be changed later via CSS and, I think, some code changes.
Atul Varma <varmaa@toolness.com>
parents: 49
diff changeset
62 }