| Did you know ... | Search Documentation: |
 | GIT commit info |
- HOME
- DOWNLOAD
- DOCUMENTATION
- TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
- Graphics▶
- Machine learning▶
- External collections▶
- For packagers▶
- COMMUNITY
- COMMERCIAL
- WIKI
FIXED: ``<pre>`` monospace font. Now by default uses `Roboto+Mono`.
| author | Jan Wielemaker |
|---|---|
| Sun May 9 10:30:18 2021 +0200 | |
| committer | Jan Wielemaker |
| Sun May 9 10:30:18 2021 +0200 | |
| commit | 0606e9c2a6d63c615ae76660517b5a77c931d240 |
| tree | 6be37244b66477eef3a3257ceb68a1d8e7bf8425 |
| parent | ab1c776349ea7310e8b2dbd7716cdd645e438871 |
Diff style: stat patch
css/swipl.css | 5 +++++ 1 file changed, 5 insertions(+)