diff options
Diffstat (limited to 'app/Resources/static/themes')
-rwxr-xr-x | app/Resources/static/themes/material/css/main.css | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/app/Resources/static/themes/material/css/main.css b/app/Resources/static/themes/material/css/main.css index b4d2765c..ff3a9891 100755 --- a/app/Resources/static/themes/material/css/main.css +++ b/app/Resources/static/themes/material/css/main.css | |||
@@ -673,6 +673,20 @@ a.original { | |||
673 | list-style-type: disc; | 673 | list-style-type: disc; |
674 | } | 674 | } |
675 | 675 | ||
676 | #article article pre { | ||
677 | box-sizing: border-box; | ||
678 | margin: 0 0 1.75em; | ||
679 | border: #e3f2fd 1px solid; | ||
680 | width: 100%; | ||
681 | padding: 10px; | ||
682 | font-family: monospace; | ||
683 | font-size: 0.8em; | ||
684 | white-space: pre; | ||
685 | overflow: auto; | ||
686 | background: #f5f5f5; | ||
687 | border-radius: 3px; | ||
688 | } | ||
689 | |||
676 | #article > header > h1 { | 690 | #article > header > h1 { |
677 | font-size: 2em; | 691 | font-size: 2em; |
678 | margin: 2.1rem 0 0.68rem; | 692 | margin: 2.1rem 0 0.68rem; |