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

« back to all changes in this revision

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

  • Committer: dcoles
  • Date: 2008-08-21 04:56:20 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:1038
ConsoleService: Fix small regression. Ensure that the console is restarted if 
the response from the console process could not be understood.

Show diffs side-by-side

added added

removed removed

Lines of Context:
22
22
     * for the time being (Something is very odd with the spacing) */
23
23
    height: 100% ! important;
24
24
}
25
 
 
26
 
.CodeMirror-line-numbers {
27
 
    width: 2.2em;
28
 
    color: #aaa;
29
 
    background-color: #eee;
30
 
    text-align: right;
31
 
    padding: .4em;
32
 
    margin: 0;
33
 
    font-family: monospace;
34
 
    font-size: 10pt;
35
 
    line-height: 1.1em;
36
 
}