| 16,7 → 16,7 |
|---|
| echo "<p>invalid article!</p>"; |
| return; |
| } else { |
| echo "<p class=\"title\">" . htmlentities($arts[$art]) . "</p>\n"; |
| echo '<h1>' . htmlentities($arts[$art]) . "</h1>\n"; |
| echo "<p class=\"copyr\">This is an article from the SvarDOS tech base</p>\n"; |
| echo '<p class="tech">'; |
| echo htmlentities(file_get_contents('tech/' . $art . '.txt')); |
| 26,7 → 26,7 |
|---|
| } |
| ?> |
| |
| <p class="title">SvarDOS technical notes</p> |
| <h1>SvarDOS technical notes</h1> |
| <p class="copyr">no documentation is perfect, this one's no exception</p> |
| <table style="margin: 0 auto;"> |
| |