diff options
Diffstat (limited to 'public/less')
| -rw-r--r-- | public/less/_repository.less | 24 |
1 files changed, 15 insertions, 9 deletions
diff --git a/public/less/_repository.less b/public/less/_repository.less index 5f9efe6b..5ddd1e2a 100644 --- a/public/less/_repository.less +++ b/public/less/_repository.less @@ -194,7 +194,7 @@ } #file-buttons { font-weight: normal; - + .ui.button { padding: 8px 10px; font-weight: normal; @@ -324,12 +324,12 @@ } .nb-cell { - position: relative; + position: relative; &.nb-heading-cell { margin-top: 0.5em; } - + img { max-width: 100%; } @@ -343,9 +343,9 @@ margin: .5em 0; } - .nb-input:before, + .nb-input:before, .nb-output:before { - position: absolute; + position: absolute; font-family: monospace; color: #999; left: -7.5em; @@ -373,7 +373,7 @@ &:before { content: "Out [" attr(data-prompt-number) "]:"; } - + pre { padding: 5px 10px; font-size: 14px; @@ -391,7 +391,7 @@ th, td { border: 1px solid #000; - padding: 0.25em; + padding: 0.25em; text-align: left; vertical-align: middle; border-collapse: collapse; @@ -406,7 +406,7 @@ // Fix pandas dataframe formatting div[style="max-height:1000px;max-width:1500px;overflow:auto;"] { - max-height: none !important; + max-height: none !important; } } @@ -948,7 +948,13 @@ .filter.dropdown .menu { margin-top: 1px!important; - } + } + + &.diff { + .commit-message pre { + white-space: pre-wrap; + } + } &.commits { .header { |