Revert font size.

Author: isoos

pkg/web_css/lib/src/_base.scss

@@ -444,7 +444,6 @@ a.-x-ago {
 .pub-toc {
   border-left: 4px solid var(--pub-inset-bgColor);
   padding: 4px 12px;
-  font-size: 12px;
   color: var(--pub-default-text-color);
 
   a {