Prism: remove margins

pull/214/head
M66B 2 years ago
parent 8f9f4272f8
commit 5a8fcf5590

@ -307,7 +307,8 @@ public class ActivityCode extends ActivityBase {
" <link href=\"file:///android_asset/prism.css\" rel=\"stylesheet\" />" + " <link href=\"file:///android_asset/prism.css\" rel=\"stylesheet\" />" +
(links ? " <link href=\"file:///android_asset/prism-autolinker.min.css\" rel=\"stylesheet\" />" : "") + (links ? " <link href=\"file:///android_asset/prism-autolinker.min.css\" rel=\"stylesheet\" />" : "") +
" <style>" + " <style>" +
" body { font-size: smaller !important; }" + " body { margin: 0 !important; font-size: smaller !important; }" +
" pre { margin-top: 0 !important; margin-bottom: 0 !important }" +
" </style>" + " </style>" +
"</head>" + "</head>" +
"<body>" + "<body>" +

Loading…
Cancel
Save