diff options
Diffstat (limited to 'site/news/nsdi-paper.html')
-rw-r--r-- | site/news/nsdi-paper.html | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/site/news/nsdi-paper.html b/site/news/nsdi-paper.html index f37727eda..7e185685d 100644 --- a/site/news/nsdi-paper.html +++ b/site/news/nsdi-paper.html @@ -18,6 +18,9 @@ <link href="/css/cerulean.min.css" rel="stylesheet"> <link href="/css/custom.css" rel="stylesheet"> + <!-- Code highlighter CSS --> + <link href="/css/pygments-default.css" rel="stylesheet"> + <script type="text/javascript"> <!-- Google Analytics initialization --> var _gaq = _gaq || []; |