Fix missing HTML editor border

Aleksander Machniak

2014-11-13 b274c8cad94cda1dafa46be60ca9eb77a00a57a6

1
2
3
4
CREATE TABLE "system" (
    name varchar(64) NOT NULL PRIMARY KEY,
    value text
);