File: overlay.css

package info (click to toggle)
webdeveloper 1.2.5%2Brepack-1
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 5,364 kB
  • ctags: 1,608
  • sloc: makefile: 10
file content (37 lines) | stat: -rw-r--r-- 1,808 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
/* Dashboard styles */

#web-developer-dashboard-spacer { width: 1em; }
#web-developer-dashboard-splitter { border-color: #999; border-style: solid; border-width: 0; }
#web-developer-dashboard-splitter.bottom { border-top-width: 1px; }
#web-developer-dashboard-splitter.left { border-right-width: 1px; }
#web-developer-dashboard-splitter.right { border-left-width: 1px; }
#web-developer-dashboard-splitter.top { border-bottom-width: 1px; }
#web-developer-dashboard-tab-box { margin: 0; }
#web-developer-dashboard-tab-panels { -webkit-appearance: none; -moz-appearance: none; padding: 0; }
#web-developer-dashboard-tabs { padding: 0; }
#web-developer-dashboard-tabs > .tabs-left, #web-developer-dashboard-tabs > .tabs-right { -webkit-box-flex: 0; -ms-box-flex: 0; -moz-box-flex: 0; box-flex: 0; }
#web-developer-dashboard-tabs > .tabs-right { display: none; }

/* Feature toolbar styles */

.web-developer-toolbar description { margin: 0; }
.web-developer-toolbar spacer { width: 2em; }
.web-developer-toolbar .web-developer-name { margin: 0 5px; }
.web-developer-toolbar .web-developer-small { width: 1em; }

/* Element ancestors styles */

#web-developer-element-ancestors-browser { border: 1px solid #999; -webkit-border-radius: 3px; -moz-border-radius: 3px; border-radius: 3px; height: 28px; }

/* Line guide styles */

#web-developer-line-guide-position, #web-developer-next-line-guide-position, #web-developer-previous-line-guide-position { margin-left: 5px; }

/* Page magnifier styles */

#web-developer-page-magnifier { display: block; }
#web-developer-page-magnifier-container { border: 1px solid #999; cursor: crosshair; position: fixed; }

/* Ruler styles */

#web-developer-ruler-end-x, #web-developer-ruler-end-y, #web-developer-ruler-start-x, #web-developer-ruler-start-y { margin-left: 5px; }