← Back to branch summary

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

« back to all changes in this revision

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

  • Committer: mattgiuca
  • Date: 2008-07-27 12:24:52 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:956
interpret.py: Fixed error reporting for server errors.
    Previously if gentle==False, just raises the current error - that tells us
    the symptom, not the cause (some random ValueError).
    Now allows the printout to go ahead (as it does for student code), but
    gives a banner heading which explains that a server error occured, to
    differentiate it from student code.
* This allows us to actually read tracebacks which bounce out of the jail.

Show diffs side-by-side

added added

removed removed

Lines of Context:
www/media/browser/browser.css
29
29
    left: 0;
30
30
    right: 0;
31
31
    top: 0;
32
 
    /* Approximate height of the components */
33
 
    height: 5em;
34
 
    padding: 0;
35
 
    background-color: #ddd;
 
32
    /* height == h2.margin + h2.line-height
 
33
     *              + max(h2.margin, p.margin) + p.line-height + p.margin
 
34
     *        == 1.1*0.7em + 1.1*1.2em + 1.1*0.7em + 1.1em + 0.7em
 
35
     *        == 4.6em */
 
36
    height: 4.6em;
 
37
    padding: 0.5em;
 
38
    background-color: #aaf;
36
39
}
37
40
 
38
 
/* We don't want the bold-ness of a regular golden H1 */
39
 
#topbar #path {
40
 
    font-weight: normal;
 
41
#topbar div {
 
42
    margin: 0.2em;
41
43
}
42
44
 
43
45
#topbar #path a {
44
46
    font-weight: bold;
45
47
}
46
 
 
47
 
#actions {
48
 
    padding: 0.3em 0.5em;
49
 
    border-top: white 1px solid;        /* Top edge of 3D effect */
50
 
}
51
48
/* class "choice" is for all choices, enabled and disabled. This is for both
52
49
 * the <a> actions and <option> actions.
53
50
 * class "disabled" is for disabled choices.
71
68
    color: #aaa;
72
69
}
73
70
 
 
71
#actions2 p {
 
72
    margin: 0;
 
73
}
 
74
 
74
75
/* One of the actions2s is shown at runtime, depending on the context.
75
76
 * We will show moreactions if we need it. */
76
77
#actions1 #moreactions_area, #actions2 #actions2_file,
84
85
    position: absolute;
85
86
    left: 0;
86
87
    right: 0;
87
 
    /* top == #topbar.height */
88
 
    top: 5em;
 
88
    /* top == #topbar.height + #topbar.padding * 2 */
 
89
    top: 5.6em;
89
90
    /* Space for the mimimised console */
90
 
    bottom: 2em;
 
91
    bottom: 3.5em;
91
92
}
92
93