← Back to branch summary

~azzar1/unity/add-show-desktop-key

« back to all changes in this revision

Viewing changes to www/media/console/console.css

  • Committer: mattgiuca
  • Date: 2008-04-16 16:18:58 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:734
tutorial: BEHAVIOUR CHANGE
    Now assessable="true" is an attribute of the <worksheet> element of the
    subject.xml file, NOT the worksheet XML file!

    Reason: This allows you to quickly see at a glance for your subject which
    worksheets are assessable, all in the one place.
    Also, the worksheet XML files are being auto-generated and it's much
    easier to set the assessability in the subject XML file.
    Also, the subject XML file is under control of the subject coordinator,
    while the worksheet files may be written by other people.
    All around a Good Decision(TM).

This involved:
* No longer reads "assessable" in present_worksheet.
* Now the Worksheet class has an assessable attribute.
* In present_subject, every time it runs, it will check the assessable
  attribute of each worksheet against the DB to see if it has changed, and if
  so, it will update the db. It DOES NOT update the mtime in the DB when it
  does this (to make sure the worksheet XML still has a chance to update the
  DB).

All above claims are tested and work.

Show diffs side-by-side

added added

removed removed

Lines of Context:
www/media/console/console.css
1
1
#console_body {
2
2
    background-color: white;
3
3
    position: absolute;
 
4
    font-size: 150%;
4
5
    color: black;
5
6
    padding: 0;
6
7
    width: 100%;
22
23
#console_body.windowpane #console_body2 {
23
24
    /* Need some padding in windowpane mode */
24
25
    /* (In full mode, things are positioned absolutely) */
25
 
    padding: 0.2em;
 
26
    padding: 0.5em;
26
27
}
27
28
/* Heading bar */
28
29
#console_heading {
51
52
    /*margin-bottom: 0.5em;*/
52
53
    position: absolute;
53
54
    /* 2em is to accomodate the header bar, and some padding */
54
 
    top: 3.4em;
 
55
    top: 2em;
55
56
    /* 2.5em is to accomodate the input bar, and padding either side */
56
57
    bottom: 2.5em;
57
 
    left: 0;
58
 
    right: 0;
 
58
    /* left and right 0.5em are just for horizontal padding */
 
59
    left: 0.5em;
 
60
    right: 0.5em;
59
61
    /* Display scroll bars */
60
62
    overflow: scroll;
61
63
    /* Some browsers support overflow-x and overflow-y. In this case, use
64
66
     * horizontal scroll bar).
65
67
     */
66
68
    overflow-x: auto;
67
 
    padding: 0.5em;
68
 
    /* On some displays, monospace font is much smaller than everything else.
69
 
     * We just set the console font to 13px to appear a bit bigger (this is
70
 
     * the same size as the editor's font).
71
 
     */
72
 
    font-size: 13px;
73
69
}
74
70
#console_body.windowpane #console_output {
75
71
    /* Don't want this absolutely positioned in windowpane mode */
76
72
    position: static;
77
 
    /* Make it a bit higher up, because the header is thinner in this mode */
78
 
    top: 2em;
79
73
    /* Give it an explicit height instead */
80
74
    height: 15em;
81
75
    margin-bottom: 0.5em;
82
76
}
83
 
 
84
 
#console_body.windowpane.maximal, #console_body.windowpane #console_heading {
85
 
    -moz-border-radius-topleft: 10px;
86
 
    -moz-border-radius-topright: 10px;
87
 
}
88
 
 
89
77
#console_input {
90
78
    position: absolute;
91
79
    /* Input bar goes along the bottom. Pad all sides */
93
81
    right: 0.5em;
94
82
    bottom: 0.5em;
95
83
}
96
 
 
97
84
#console_body.windowpane #console_input {
98
85
    /* Don't want this absolutely positioned in windowpane mode */
99
86
    position: static;
102
89
    font-family: monospace;
103
90
}
104
91
#console_inputText {
105
 
    font-family: monospace;
 
92
    background-color: white;
 
93
    font-size: 80%;
 
94
    color: black;
106
95
    width: 75%;
107
96
}
108
 
 
 
97
#console_inputText.disabled {
 
98
    background-color: #aaa;
 
99
}
109
100
/* console filler takes up the same space as console_body.windowpane
110
101
 * but its position is relative, not fixed.
111
102
 * This avoids having the console overlap with the bottom 28em of page
126
117
    right: 0;
127
118
}
128
119
#console_filler.maximal {
129
 
    /* Trial and error is useful to work this out. */
130
 
    height: 14em;
 
120
    /* total height of console = 20em + 1em + 0.5em + 0.5em + 0.5em + 1em + borders
 
121
     */
 
122
    height: 24em;
131
123
}
132
124
#console_filler.minimal {
133
 
    /* Trial and error is useful to work this out. */
134
 
    height: 1em;
 
125
    /* total height of console = 1em + 0.5em + 0.5em
 
126
     */
 
127
    height: 2em;
135
128
}
136
129
*.errorMsg {
137
130
    color: red;