diff --git a/web/content/assets/styles/try.css b/web/content/assets/styles/try.css index f6c402a81..d623ec7e8 100644 --- a/web/content/assets/styles/try.css +++ b/web/content/assets/styles/try.css @@ -5,13 +5,6 @@ a img { border: 0px; } width: 100%; } -#intro { - font-size: 2em; - -moz-border-radius: 8px; - background-color: #eee; -} -#intro p { margin: 1em 1em; padding: 1em 0em; } - #table table, #productions li, #nonterminals dl { font-family: monospace; } diff --git a/web/content/assets/styles/usf.css b/web/content/assets/styles/usf.css index 8c16e01c7..65fbceb25 100644 --- a/web/content/assets/styles/usf.css +++ b/web/content/assets/styles/usf.css @@ -5,13 +5,6 @@ a img { border: 0px; } width: 100%; } -#intro { - font-size: 2em; - -moz-border-radius: 8px; - background-color: #eee; -} -#intro p { margin: 1em 1em; padding: 1em 0em; } - #table table, #productions li, #nonterminals dl { font-family: monospace; } diff --git a/web/content/try/usf.html b/web/content/try/usf.html index 1dfe12fb0..e632cbbc5 100644 --- a/web/content/try/usf.html +++ b/web/content/try/usf.html @@ -23,7 +23,7 @@
Load an example: