Page Menu
Home
In-Portal Phabricator
Search
Configure Global Search
Log In
Files
F1194034
codemirror.css
No One
Temporary
Actions
View File
Edit File
Delete File
View Transforms
Subscribe
Mute Notifications
Award Token
Flag For Later
Subscribers
None
File Metadata
Details
File Info
Storage
Attached
Created
Tue, Oct 21, 4:10 PM
Size
5 KB
Mime Type
text/plain
Expires
Thu, Oct 23, 4:10 PM (4 h, 47 m)
Engine
blob
Format
Raw Data
Handle
777670
Attached To
rINP In-Portal
codemirror.css
View Options
/* BASICS */
.
CodeMirror
{
/* Set height, width, borders, and global font properties here */
font-family
:
monospace
;
height
:
300
px
;
}
.
CodeMirror-scroll
{
/* Set scrolling behaviour here */
overflow
:
auto
;
}
/* PADDING */
.
CodeMirror-lines
{
padding
:
4
px
0
;
/* Vertical padding around content */
}
.
CodeMirror
pre
{
padding
:
0
4
px
;
/* Horizontal padding of content */
}
.
CodeMirror-scrollbar-filler
,
.
CodeMirror-gutter-filler
{
background-color
:
white
;
/* The little square between H and V scrollbars */
}
/* GUTTER */
.
CodeMirror-gutters
{
border-right
:
1
px
solid
#ddd
;
background-color
:
#f7f7f7
;
white-space
:
nowrap
;
}
.
CodeMirror-linenumbers
{}
.
CodeMirror-linenumber
{
padding
:
0
3
px
0
5
px
;
min-width
:
20
px
;
text-align
:
right
;
color
:
#999
;
}
/* CURSOR */
.
CodeMirror
div
.
CodeMirror-cursor
{
border-left
:
1
px
solid
black
;
z-index
:
3
;
}
/* Shown when moving in bi-directional text */
.
CodeMirror
div
.
CodeMirror-secondarycursor
{
border-left
:
1
px
solid
silver
;
}
.
CodeMirror
.
cm-keymap-fat-cursor
div
.
CodeMirror-cursor
{
width
:
auto
;
border
:
0
;
background
:
#7e7
;
z-index
:
1
;
}
/* Can style cursor different in overwrite (non-insert) mode */
.
CodeMirror
div
.
CodeMirror-cursor
.
CodeMirror-overwrite
{}
.
cm-tab
{
display
:
inline-block
;
}
/* DEFAULT THEME */
.
cm-s-default
.
cm-keyword
{
color
:
#708
;}
.
cm-s-default
.
cm-atom
{
color
:
#219
;}
.
cm-s-default
.
cm-number
{
color
:
#164
;}
.
cm-s-default
.
cm-def
{
color
:
#00f
;}
.
cm-s-default
.
cm-variable
{
color
:
black
;}
.
cm-s-default
.
cm-variable-2
{
color
:
#05a
;}
.
cm-s-default
.
cm-variable-3
{
color
:
#085
;}
.
cm-s-default
.
cm-property
{
color
:
black
;}
.
cm-s-default
.
cm-operator
{
color
:
black
;}
.
cm-s-default
.
cm-comment
{
color
:
#a50
;}
.
cm-s-default
.
cm-string
{
color
:
#a11
;}
.
cm-s-default
.
cm-string-2
{
color
:
#f50
;}
.
cm-s-default
.
cm-meta
{
color
:
#555
;}
.
cm-s-default
.
cm-error
{
color
:
#f00
;}
.
cm-s-default
.
cm-qualifier
{
color
:
#555
;}
.
cm-s-default
.
cm-builtin
{
color
:
#30a
;}
.
cm-s-default
.
cm-bracket
{
color
:
#997
;}
.
cm-s-default
.
cm-tag
{
color
:
#170
;}
.
cm-s-default
.
cm-attribute
{
color
:
#00c
;}
.
cm-s-default
.
cm-header
{
color
:
blue
;}
.
cm-s-default
.
cm-quote
{
color
:
#090
;}
.
cm-s-default
.
cm-hr
{
color
:
#999
;}
.
cm-s-default
.
cm-link
{
color
:
#00c
;}
.
cm-negative
{
color
:
#d44
;}
.
cm-positive
{
color
:
#292
;}
.
cm-header
,
.
cm-strong
{
font-weight
:
bold
;}
.
cm-em
{
font-style
:
italic
;}
.
cm-link
{
text-decoration
:
underline
;}
.
cm-invalidchar
{
color
:
#f00
;}
div
.
CodeMirror
span
.
CodeMirror-matchingbracket
{
color
:
#0f0
;}
div
.
CodeMirror
span
.
CodeMirror-nonmatchingbracket
{
color
:
#f22
;}
/* STOP */
/* The rest of this file contains styles related to the mechanics of
the editor. You probably shouldn't touch them. */
.
CodeMirror
{
line-height
:
1
;
position
:
relative
;
overflow
:
hidden
;
background
:
white
;
color
:
black
;
}
.
CodeMirror-scroll
{
/* 30px is the magic margin used to hide the element's real scrollbars */
/* See overflow: hidden in .CodeMirror */
margin-bottom
:
-30
px
;
margin-right
:
-30
px
;
padding-bottom
:
30
px
;
padding-right
:
30
px
;
height
:
100
%
;
outline
:
none
;
/* Prevent dragging from highlighting the element */
position
:
relative
;
}
.
CodeMirror-sizer
{
position
:
relative
;
}
/* The fake, visible scrollbars. Used to force redraw during scrolling
before actuall scrolling happens, thus preventing shaking and
flickering artifacts. */
.
CodeMirror-vscrollbar
,
.
CodeMirror-hscrollbar
,
.
CodeMirror-scrollbar-filler
,
.
CodeMirror-gutter-filler
{
position
:
absolute
;
z-index
:
6
;
display
:
none
;
}
.
CodeMirror-vscrollbar
{
right
:
0
;
top
:
0
;
overflow-x
:
hidden
;
overflow-y
:
scroll
;
}
.
CodeMirror-hscrollbar
{
bottom
:
0
;
left
:
0
;
overflow-y
:
hidden
;
overflow-x
:
scroll
;
}
.
CodeMirror-scrollbar-filler
{
right
:
0
;
bottom
:
0
;
}
.
CodeMirror-gutter-filler
{
left
:
0
;
bottom
:
0
;
}
.
CodeMirror-gutters
{
position
:
absolute
;
left
:
0
;
top
:
0
;
padding-bottom
:
30
px
;
z-index
:
3
;
}
.
CodeMirror-gutter
{
white-space
:
normal
;
height
:
100
%
;
padding-bottom
:
30
px
;
margin-bottom
:
-32
px
;
display
:
inline-block
;
/* Hack to make IE7 behave */
*
zoom
:
1
;
*
display
:
inline
;
}
.
CodeMirror-gutter-elt
{
position
:
absolute
;
cursor
:
default
;
z-index
:
4
;
}
.
CodeMirror-lines
{
cursor
:
text
;
}
.
CodeMirror
pre
{
/* Reset some styles that the rest of the page might have set */
-moz-
border-radius
:
0
;
-webkit-
border-radius
:
0
;
border-radius
:
0
;
border-width
:
0
;
background
:
transparent
;
font-family
:
inherit
;
font-size
:
inherit
;
margin
:
0
;
white-space
:
pre
;
word-wrap
:
normal
;
line-height
:
inherit
;
color
:
inherit
;
z-index
:
2
;
position
:
relative
;
overflow
:
visible
;
}
.
CodeMirror-wrap
pre
{
word-wrap
:
break-word
;
white-space
:
pre-wrap
;
word-break
:
normal
;
}
.
CodeMirror-linebackground
{
position
:
absolute
;
left
:
0
;
right
:
0
;
top
:
0
;
bottom
:
0
;
z-index
:
0
;
}
.
CodeMirror-linewidget
{
position
:
relative
;
z-index
:
2
;
overflow
:
auto
;
}
.
CodeMirror-widget
{
}
.
CodeMirror-wrap
.
CodeMirror-scroll
{
overflow-x
:
hidden
;
}
.
CodeMirror-measure
{
position
:
absolute
;
width
:
100
%
;
height
:
0
px
;
overflow
:
hidden
;
visibility
:
hidden
;
}
.
CodeMirror-measure
pre
{
position
:
static
;
}
.
CodeMirror
div
.
CodeMirror-cursor
{
position
:
absolute
;
visibility
:
hidden
;
border-right
:
none
;
width
:
0
;
}
.
CodeMirror-focused
div
.
CodeMirror-cursor
{
visibility
:
visible
;
}
.
CodeMirror-selected
{
background
:
#d9d9d9
;
}
.
CodeMirror-focused
.
CodeMirror-selected
{
background
:
#d7d4f0
;
}
.
cm-searching
{
background
:
#ffa
;
background
:
rgba
(
255
,
255
,
0
,
.4
);
}
/* IE7 hack to prevent it from returning funny offsetTops on the spans */
.
CodeMirror
span
{
*
vertical-align
:
text
-
bottom
;
}
@
media
print
{
/* Hide the cursor when printing */
.
CodeMirror
div
.
CodeMirror-cursor
{
visibility
:
hidden
;
}
}
Event Timeline
Log In to Comment