uBlock/src/css/whitelist.css

div > p:first-child {
    margin-top: 0;
    }
div > p:last-child {
    margin-bottom: 0;
    }
#whitelist {
    font-size: small;
    width: 48em;
    height: 40em;
    white-space: pre;
	text-align: left;
    }
#whitelist.bad {
    background-color: #fee;
    }
this fixes #137 and #272 2014-10-07 14:59:35 +02:00			`div > p:first-child {`
			`margin-top: 0;`
			`}`
			`div > p:last-child {`
			`margin-bottom: 0;`
			`}`
			`#whitelist {`
another round of work re dynamic filtering 2014-12-31 23:26:17 +01:00			`font-size: small;`
this fixes #137 and #272 2014-10-07 14:59:35 +02:00			`width: 48em;`
			`height: 40em;`
Building extension files Adds possibility to build extension files (Chrome and Safari) from command line. To run from the project directory: python tools/build.py [meta] If the optional `meta` argument is set, then only the manifest and language files are uptated. Without that everything is being built (extension files too) into the `dist/build/version_number` folder. For Chrome there will be two files, a crx, and a .zip file which includes the key.pem private key (so this must not be shared, it's just a bit help for publishing it to the Chrome Web Store). Beside the extension files, update-files are generated too (for self hosting - Safari needs it). 2014-11-09 17:50:58 +01:00			`white-space: pre;`
this fixes #137 and #272 2014-10-07 14:59:35 +02:00			`text-align: left;`
			`}`
			`#whitelist.bad {`
			`background-color: #fee;`
			`}`