highlighted the turnstyle for better visibility of the lhs and rhs of a sequent
highlighted the turnstyle for better visibility of the lhs and rhs of a sequent

goodlyrottenapple/DEAK-calculus-tool,goodlyrottenapple/DEAK-calculus-tool