Fixing font sizes.

Author: deanberris

libs/network/doc/static/cpp-netlib.css

@@ -1,7 +1,7 @@
 @import url(reset-fonts-grids.css);
 
 html, body {background-image: url(./background.jpg); background-repeat:no-repeat; background-position:right top; background-attachment:fixed}
-body {font:16px "Times New Roman", Lucida, serif; color:black}
+body {font:12pt "Times New Roman", Lucida, serif; color:black}
 #custom-doc { width:80%;*width:720px; min-width:720px; max-width:960px; margin:auto; text-align:left; padding-top:16px; margin-top:0}
 #hd { padding: 4px 0 12px 0}
 #bd { background:#C5D88A}
@@ -98,7 +98,7 @@ ul.toc ul { margin-left:.6em}
 ul.toc ul li { list-style-type:square}
 ul.toc ul ul li { list-style-type:disc}
 ul.linklist li, ul.toc li { list-style-type:none}
-dt { font-weight:bold; margin-top:.5em; font-size:1.1em}
+dt { font-weight:bold; margin-top:.5em; font-size:1em}
 dd { margin-bottom:.8em}
 ol.toc { margin-bottom: 2em}
 ol.toc li { font-size:125%; padding: .5em; line-height:1.2em; clear: right}