File: options.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 (5 lines) | stat: -rw-r--r-- 342 bytes parent folder | download 
1
2
3
4
5
 
prefpane > groupbox { margin: 0; }
prefpane .groupbox-body { -webkit-appearance: none; -moz-appearance: none; padding-left: 0; padding-right: 0; }
#web-developer-options { min-width: 45em; }
#web-developer-options-tools-pane spacer { width: 2em; }
#web-developer-syntax-highlight-browser { border: 1px solid #999; height: 150px !important; }