diff --git a/judge/widgets/pagedown.py b/judge/widgets/pagedown.py index f76ddac..edc4bf1 100644 --- a/judge/widgets/pagedown.py +++ b/judge/widgets/pagedown.py @@ -52,6 +52,7 @@ else: class Media: css = { "all": [ + "markdown.css", "pagedown_widget.css", "content-description.css", "admin/css/pagedown.css", diff --git a/resources/content-description.scss b/resources/content-description.scss index df4f4e4..69ff279 100644 --- a/resources/content-description.scss +++ b/resources/content-description.scss @@ -51,7 +51,7 @@ } pre.no-border { - margin-top: -0.7em; + margin-top: 0.4em; padding: 0.5em; border: none; background-color: inherit; @@ -137,7 +137,7 @@ .linenos { width: 4%; - + pre { color: rgba(0,0,0,.26); background-color: rgba(0,0,0,.07); @@ -166,8 +166,8 @@ textarea, pre { -moz-tab-size : 4; - -o-tab-size : 4; - tab-size : 4; + -o-tab-size : 4; + tab-size : 4; } diff --git a/resources/widgets.scss b/resources/widgets.scss index ffc0e4e..c37610b 100644 --- a/resources/widgets.scss +++ b/resources/widgets.scss @@ -220,8 +220,8 @@ input { position: relative; } -.md-typeset .copy-clipboard { - margin-top: 1.5em; +.md-typeset .btn-clipboard { + right: -0.6rem; }