← Back to branch summary

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

« back to all changes in this revision

Viewing changes to www/media/common/ivle.css

  • Committer: drtomc
  • Date: 2008-01-31 08:11:37 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:352
Changed console so it no longer uses HTTP, just sends JSON over a normal socket.
Reason: Easier to control (since web.py offered limited control over *when* to Daemonise). Ultimately, this was necessary to get the port allocation strategy working.

* Replaced the HTTP / web.py code with socket code. (Web.py is no longer a dependency).
* Sundry bug fixes.
* Daemonization code - moved out of a Shell "&" call on the Apache side to a proper Daemon code on the spawned server side.

The upshot is we can now spawn any number of servers. Console is DONE for Alpha release.


YOU HAVE NO IDEA HOW TRICKY THIS WAS!!!

Show diffs side-by-side

added added

removed removed

Lines of Context:
www/media/common/ivle.css
34
34
    /* Pad left and right. */
35
35
    padding: 0 1em;
36
36
    border-bottom: 1px solid black;
37
 
    min-height: 4.3em;
 
37
    /* IMPORTANT: This 5.3em is hard-coded elsewhere in this file. Search for
 
38
     * #ivleheader.height to update it. */
 
39
    height: 5.3em;
38
40
}
39
41
 
40
42
/* Special "IVLE" and "Informatics Virtual Learning Environment" titles */
56
58
    padding: 0;
57
59
}
58
60
 
59
 
/* Note: You can override this in app-specific CSS if you want to
60
 
 * push the body all the way to the edge. */
 
61
/* Note: The body has NO PADDING by default (unlike plain HTML).
 
62
 * This is because almost all of the apps need this behaviour.
 
63
 * If a particular app needs padding, it should manually wrap all of its
 
64
 * output in a <div id="ivle_padding">.
 
65
 */
61
66
#ivlebody {
 
67
    /* This is positioned absolutely so that its content can be positioned
 
68
     * absolutely as well, and so height: 100% really means it. */
 
69
    position: absolute;
 
70
    top: 5.3em;             /* == #ivleheader.height */
 
71
    bottom: 0;
 
72
    width: 100%;
 
73
}
 
74
 
 
75
/* Apps can optionally have a <div id="ivle_padding"> as the outermost
 
76
 * element, if 1em of padding is desired (otherwise there will be no padding).
 
77
 */
 
78
#ivle_padding {
62
79
    padding: 1em;
63
80
}
64
81
 
73
90
    font-weight: bold;
74
91
}
75
92
 
 
93
/* The tabs bar is positioned absolutely, unlike the other header content.
 
94
 * This allows it to be aligned exactly with the bottom of the header bar.
 
95
 */
 
96
#ivleheader_tabs {
 
97
    position: absolute;
 
98
    height: 5.3em;          /* == #ivleheader.height */
 
99
    top: 0;
 
100
    left: 0;
 
101
    right: 0;
 
102
    width: 100%;
 
103
    padding: 0;
 
104
    margin: 0;
 
105
}
 
106
 
 
107
/* The apptabs ul is aligned to the bottom of #ivleheader_tabs */
76
108
ul#apptabs {
 
109
    position: absolute;
77
110
    text-align: right;
78
 
    margin-bottom: 0;
 
111
    bottom: 0;
 
112
    right: 1em;             /* == #ivleheader.padding-right */
 
113
    padding: 0;
 
114
    margin: 0;
79
115
}
80
116
ul#apptabs li {
81
117
    display: inline;