diff options
author | Ruben Rodriguez <ruben@gnu.org> | 2018-09-13 20:58:40 +0000 |
---|---|---|
committer | Ruben Rodriguez <ruben@gnu.org> | 2018-09-13 20:58:40 +0000 |
commit | 3e4c252f982637b54719b427ac85ac3701d44abd (patch) | |
tree | 7b433796d4d3fcb9647e0da0cafe89e5e4d62521 /html/common.css | |
parent | 0e004bf1a3c154b98a96494dc97ecba58b8162ed (diff) | |
parent | 3bf972bafeac738301623db6b08bedfd476abeca (diff) |
Merge #17 `Brand new settings UI to manage whitelist, blacklist and other preferences. `
Diffstat (limited to 'html/common.css')
-rw-r--r-- | html/common.css | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/html/common.css b/html/common.css new file mode 100644 index 0000000..cf2c5d1 --- /dev/null +++ b/html/common.css @@ -0,0 +1,29 @@ +html { + padding:0px; + margin:0px; + color:#000 !important; + background:url('background-panel.png') !important; +} +body { + padding:0; + margin:10px 30px 10px 20px; + color:#000; +} + +div.libre { + position: relative; +} + +.libre { + width:230px; + height:104px; + display:block; +} +h1.libre { + font-size:1.5em; + font-weight:normal; + padding:0; + font-weight:bold; + background:url('librejs-title.png') no-repeat top left; + text-indent:-1000px; +} |