diff --git a/website/monarch/monarch.css b/website/monarch/monarch.css index 062e44be..bc37a731 100644 --- a/website/monarch/monarch.css +++ b/website/monarch/monarch.css @@ -201,7 +201,7 @@ pre { border: 1px solid #888 } -code, pre,dt { font-family: Consolas } +code, pre,dt { font-family: Consolas, monospace } strong { color: black } @@ -216,4 +216,4 @@ dt { color: navy; margin-top: 2ex; padding: 2px;} dl dl dt { margin-top: 1ex;} #documentation .keyword { color: blue; } -#documentation .tag { color: navy; } \ No newline at end of file +#documentation .tag { color: navy; }