From 01f3e7ec6cf942d793b487ea0122a4d6028bf7e3 Mon Sep 17 00:00:00 2001 From: Anthony Scopatz Date: Mon, 21 Oct 2019 13:16:05 -0400 Subject: [PATCH] fixed padding and margins --- xonsh/webconfig/elm-compile.xsh | 4 +++- xonsh/webconfig/elm-src/XonshData.elm | 4 ++-- 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/xonsh/webconfig/elm-compile.xsh b/xonsh/webconfig/elm-compile.xsh index 07ddfd472..58a3397fc 100755 --- a/xonsh/webconfig/elm-compile.xsh +++ b/xonsh/webconfig/elm-compile.xsh @@ -41,9 +41,11 @@ def html_format(s, style="default"): # need to generate stream before creating formatter so that all tokens actually exist token_stream = partial_color_tokenize(s) formatter = XonshHtmlFormatter( + wrapcode=True, noclasses=True, style=proxy_style, - prestyles="color: #" + fgcolor, + prestyles="margin: 0em; padding: 0.5em 0.1em; color: #" + fgcolor, + cssstyles="border-style: solid; border-radius: 5px", ) formatter.format(token_stream, buf) return buf.getvalue() diff --git a/xonsh/webconfig/elm-src/XonshData.elm b/xonsh/webconfig/elm-src/XonshData.elm index 1a9fd5dee..800796766 100644 --- a/xonsh/webconfig/elm-src/XonshData.elm +++ b/xonsh/webconfig/elm-src/XonshData.elm @@ -14,6 +14,6 @@ type alias PromptData = prompts : List PromptData prompts = - [ { name = "Default", value = "{env_name}{BOLD_GREEN}{user}@{hostname}{BOLD_BLUE} {cwd}{branch_color}{curr_branch: {}}{NO_COLOR} {BOLD_BLUE}{prompt_end}{NO_COLOR} ", display = "
(env) lou@carcolh ~/snail/stuff branch $
" } - , { name = "Just a Dollar", value = "$ ", display = "
$
" } + [ { name = "Default", value = "{env_name}{BOLD_GREEN}{user}@{hostname}{BOLD_BLUE} {cwd}{branch_color}{curr_branch: {}}{NO_COLOR} {BOLD_BLUE}{prompt_end}{NO_COLOR} ", display = "
(env) lou@carcolh ~/snail/stuff branch $
" } + , { name = "Just a Dollar", value = "$ ", display = "
$
" } ]