From da928bc69d275b9ca6782bb6946101f2ea58576e Mon Sep 17 00:00:00 2001
From: Matthew Butterick <mb@mbtype.com>
Date: Tue, 26 Nov 2013 16:53:26 -0800
Subject: [PATCH] Make font size consistent within .defmodule

Merge to v6.0

original commit: c5f5d0e0ac174475bd3c6c85a776e96fcdc9fb68
---
 .../scribble-lib/scribble/manual-racket.css           | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/pkgs/scribble-pkgs/scribble-lib/scribble/manual-racket.css b/pkgs/scribble-pkgs/scribble-lib/scribble/manual-racket.css
index b3283a91..e7bf8e29 100644
--- a/pkgs/scribble-pkgs/scribble-lib/scribble/manual-racket.css
+++ b/pkgs/scribble-pkgs/scribble-lib/scribble/manual-racket.css
@@ -196,7 +196,7 @@ tbody > tr:first-child > td > .together {
 
 .defmodule {
     font-family: 'Source Code Pro';
-    padding: 0.25rem 0.75rem 0.5rem 0.5rem;
+    padding: 0.25rem 0.75rem 0.25rem 0.5rem;
     margin-bottom: 1rem;
     width: 100%;
     background-color: hsl(60, 29%, 94%);
@@ -206,11 +206,18 @@ tbody > tr:first-child > td > .together {
     color: #444;
 }
 
+
 .defmodule td span.hspace:first-child {
-position: absolute;
+  position: absolute;
     width: 0;
 }
 
+.defmodule .RpackageSpec .Smaller,
+.defmodule .RpackageSpec .stt {
+    font-size: 1rem;
+}
+
+
 .specgrammar {
     float: none;
     padding-left: 1em;