Added text-stmt

This commit is contained in:
waldemar%netscape.com 2003-05-03 00:13:47 +00:00
parent d8ba3032ac
commit 11b0d5f51e

View File

@ -32,6 +32,7 @@ DT {font-style: italic; margin-top: 3pt}
.semantic-comment {margin-left: 9pt; margin-top: 9pt; margin-bottom: 0pt}
.stmt {margin-left: 36pt; text-indent: -36pt}
.text-stmt {}
.lvl {margin-left: 18pt}
.lvl-wide {margin-left: 18pt; margin-bottom: 6pt}
.algorithm {margin-left: 9pt; margin-top: 6pt; margin-bottom: 6pt}