Really reduce the load size of the webpage

Remove unnecessary fonts and use small fonts instead. They do not look
as good, but they are smaller.

Author: albinahlback

doc/source/_static/fonts/FreeSans-small.woff

@@ -1,43 +1,53 @@
 @font-face 
 {
     font-family: FreeSans;
-    src: url(fonts/FreeSans.woff);
+    src: url(fonts/FreeSans-small.woff);
 }
 
-@font-face 
-{
-    font-family: FreeSans;
-    src: url(fonts/FreeSansBold.woff);
-    font-weight: bold;
-}
+/* These two should never be used in our typesetting */
+/* @font-face */ 
+/* { */
+/*     font-family: FreeSans; */
+/*     src: url(fonts/FreeSansBold-small.woff); */
+/*     font-weight: bold; */
+/* } */
 
-@font-face 
-{
-    font-family: FreeSans;
-    src: url(fonts/FreeSansOblique.woff);
-    font-style: oblique;
-}
+/* @font-face */ 
+/* { */
+/*     font-family: FreeSans; */
+/*     src: url(fonts/FreeSansOblique.woff); */
+/*     font-style: oblique; */
+/* } */
 
 @font-face 
 {
     font-family: FreeSerif;
-    src: url(fonts/FreeSerif.woff);
+    src: url(fonts/FreeSerif-small.woff);
 }
 
 @font-face 
 {
     font-family: FreeSerif;
-    src: url(fonts/FreeSerifItalic.woff);
+    src: url(fonts/FreeSerifItalic-small.woff);
     font-style: italic;
 }
 
 @font-face 
 {
     font-family: FreeSerif;
-    src: url(fonts/FreeSerifBold.woff);
+    src: url(fonts/FreeSerifBold-small.woff);
     font-weight: bold;
 }
 
+/* Neither should this one */
+/* @font-face */ 
+/* { */
+/*     font-family: FreeSerif; */
+/*     src: url(fonts/FreeSerifBoldItalic-small.woff); */
+/*     font-style: italic; */
+/*     font-weight: bold; */
+/* } */
+
 @font-face 
 {
     font-family: Mononoki;