.legacy-background-color-lightgrey { background-color: var(--code-bg); }
.legacy-background-lightgrey { background: var(--code-bg); }
.legacy-border-1px-solid-244974 { border: 1px solid var(--rule); }
.legacy-clear-both { clear: both; }
.legacy-float-left { float: left; }
.legacy-font-size-11px { font-size: 11px; }
.legacy-font-size-13px { font-size: 13px; }
.legacy-font-style-normal { font-style: normal; }
.legacy-height-1px { height: 1px; }
.legacy-line-height-1-5 { line-height: 1.5; }
.legacy-line-height-1-5em { line-height: 1.5em; }
.legacy-line-height-1px { line-height: 1px; }
.legacy-margin-5px { margin: 5px; }
.legacy-padding-5px { padding: 5px; }
.legacy-text-align-center { text-align: center; }
.legacy-text-align-justify { text-align: justify; }
.legacy-text-align-left { text-align: left; }
.legacy-text-decoration-underline { text-decoration: underline; }