#operations{color:#111111;height:9px;width:3em;text-shadow:-1px -1px 1px red, 6px 5px 5px yellow;substraction:0;division:1;}
#operations .spacing{height:9px;width:3em;}
.with-variables{height:16em;width:24em;size:1cm;}
.negative{height:0;width:4px;}
.shorthands{padding:-1px 2px 0 -4px;}
.colors{color:#112233;border-color:#334455;background-color:#000000;}
.colors .other{color:#222222;border-color:#222222;}
.negations{variable:-4px;variable1:0;variable2:0;variable3:8px;variable4:0;paren:-4px;paren2:16px;}