diff --git a/site/css/style.css b/site/css/style.css index e8ac7fab1..51c8a1d39 100644 --- a/site/css/style.css +++ b/site/css/style.css @@ -149,7 +149,7 @@ img { border: 10px solid #F8F8F8; /* Soft grey border */ } -#TOC { +#toc { float:right; font-size:small; margin:2em 0 1em 1em; @@ -157,7 +157,7 @@ img { background-color:#f0f0f0; } -#TOC ul { +#toc ul { list-style-type: none; padding:0 1em 0 1em; } diff --git a/site/site.hamlet b/site/site.hamlet deleted file mode 100644 index 837319f49..000000000 --- a/site/site.hamlet +++ /dev/null @@ -1,40 +0,0 @@ -!!! -
-