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

« back to all changes in this revision

Viewing changes to ivle/webapp/filesystem/browser/media/editor.css

  • Committer: William Grant
  • Date: 2010-07-28 04:12:08 UTC
  • mfrom: (1790.1.8 codemirror-srsly)
  • Revision ID: grantw@unimelb.edu.au-20100728041208-mciagtog1785oje4
Move from CodePress to CodeMirror. It's now an external dependency, too, so you'll need to install it yourself.

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
}