Warning, /kdevelop/kdevelop/plugins/manpage/manpagedocumentation.css is written in an unsupported language. File is not indexed.
0001 /* Remove top banner */
0002 #header {
0003 display: none
0004 }
0005
0006 /* Remove extra margins from both sides */
0007 body div[style] {
0008 margin-left: 0 !important;
0009 margin-right: 0 !important;
0010 }