← Back to branch summary

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

« back to all changes in this revision

Viewing changes to www/media/groups/groups.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/groups/groups.css
1
 
/* class "choice" is for all choices, enabled and disabled. This is for both
2
 
 * the <a> actions and <option> actions.
3
 
 * class "disabled" is for disabled choices.
4
 
 */
5
 
a.choice {
6
 
    color: navy;
7
 
    text-decoration: underline;
8
 
    cursor: pointer;
9
 
}
10
 
a.choice:hover, a.choice:active, a.choice:focus {
11
 
    color: blue;
12
 
}
13
 
a.disabled {
14
 
    color: black;
15
 
    text-decoration: none;
16
 
    cursor: auto;
17
 
}