diff options
-rw-r--r-- | doc/README.html | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/README.html b/doc/README.html index f3a9712..4e2794a 100644 --- a/doc/README.html +++ b/doc/README.html @@ -43,6 +43,11 @@ td, dt { background-color: #eee; } + pre { + font-size: 10pt; + border: thin dotted #ccc; + padding: 2pt; + } </style> </head> |