michael@0: .mt-output .mt-token {
michael@0:   border: 1px solid #ddd;
michael@0:   white-space: pre;
michael@0:   font-family: "Consolas", monospace;
michael@0:   text-align: center;
michael@0: }
michael@0: 
michael@0: .mt-output .mt-style {
michael@0:   font-size: x-small;
michael@0: }