diff options
-rw-r--r-- | data/paste.css | 74 |
1 files changed, 37 insertions, 37 deletions
diff --git a/data/paste.css b/data/paste.css index f511c54fe..124f3405e 100644 --- a/data/paste.css +++ b/data/paste.css @@ -1,21 +1,21 @@ body { - background: #fff; - margin:0; - padding:0; + background: #fff; + margin:0; + padding:0; } .numbers a { - padding-left:4px; - padding-right:4px; - left:0; - color: gray; + padding-left:4px; + padding-right:4px; + left:0; + color: gray; } .numbers a:target { - background: yellow; + background: yellow; } div#highlight_line { - background: yellow; + background: yellow; display: inline; position: absolute; z-index: -1; @@ -25,59 +25,59 @@ div#highlight_line { } .content { - padding-left:3px; + padding-left:3px; } .top_bar { - background: #444; - color: #fff; - padding-left: 5px; - padding-top: 5px; - padding-bottom: 5px; - border-bottom: 3px double gray; + background: #444; + color: #fff; + padding-left: 5px; + padding-top: 5px; + padding-bottom: 5px; + border-bottom: 3px double gray; } table { - border-collapse: collapse; + border-collapse: collapse; } table.content { - min-width: 100%; - color: #444; + min-width: 100%; + color: #444; } table.content td.numbers { - vertical-align: top; - text-align:right; - border-right: 1px solid gray; - padding-left: 5px; - padding-bottom: 15px; + vertical-align: top; + text-align:right; + border-right: 1px solid gray; + padding-left: 5px; + padding-bottom: 15px; } table.content td.code { - vertical-align: top; - padding-left:5px; - width:100%; - padding-bottom: 15px; + vertical-align: top; + padding-left:5px; + width:100%; + padding-bottom: 15px; } table.content td.markdownrender { - vertical-align: top; - padding-left: 20px; - padding-right: 20px; - padding-bottom: 15px; - width: 100%; + vertical-align: top; + padding-left: 20px; + padding-right: 20px; + padding-bottom: 15px; + width: 100%; } pre { - margin-top:1em; - margin-bottom:2px; + margin-top:1em; + margin-bottom:2px; } a.no { - text-decoration:none; + text-decoration:none; } a.raw_link { - color: lightblue; + color: lightblue; } |