
/* CSS for HTML output of apl.texi */

pre.example { font-family: "Courier New", monospace;
              font-size: 16 px; font-weight: bold; background: #EEF;
              border:   2px solid black; border-radius: 10px;
              padding: 1em 2em 1em 2em; }

code { font-family: "Courier New", monospace;
       font-size: 16 px; font-weight: bold; }


