/**
 * WARNING: Do not change this file. Your changes will be lost.
 * 2020-06-08 09:10:56 */
body.boxed {
    background-color: ##e30de3;
    background-image: none;
}