Team Ai
Datasetpublic

codekingpro/portable-devtools

sourceHugging Faceupdated 5mo agoView on Hugging Face
1likes14kdownloads
style.css151 linesDownload Raw Back to shared
1body, input  { font-family: sans-serif; color: #000; text-align: center;2               margin: 1em; padding: 0; font-size: 15px; }3h1, h2, h3   { font-weight: normal; }4 5input        { background-color: #fff; margin: 0; text-align: left;6               outline: none !important; }7input[type="submit"] { padding: 3px 6px; }8a            { color: #11557C; }9a:hover      { color: #177199; }10pre, code,11textarea     { font-family: monospace; font-size: 14px; }12 13div.debugger { text-align: left; padding: 12px; margin: auto;14               background-color: white; }15h1           { font-size: 36px; margin: 0 0 0.3em 0; }16div.detail { cursor: pointer; }17div.detail p { margin: 0 0 8px 13px; font-size: 14px; white-space: pre-wrap;18               font-family: monospace; }19div.explanation { margin: 20px 13px; font-size: 15px; color: #555; }20div.footer   { font-size: 13px; text-align: right; margin: 30px 0;21               color: #86989B; }22 23h2           { font-size: 16px; margin: 1.3em 0 0.0 0; padding: 9px;24               background-color: #11557C; color: white; }25h2 em, h3 em { font-style: normal; color: #A5D6D9; font-weight: normal; }26 27div.traceback, div.plain { border: 1px solid #ddd; margin: 0 0 1em 0; padding: 10px; }28div.plain p      { margin: 0; }29div.plain textarea,30div.plain pre { margin: 10px 0 0 0; padding: 4px;31                background-color: #E8EFF0; border: 1px solid #D3E7E9; }32div.plain textarea { width: 99%; height: 300px; }33div.traceback h3 { font-size: 1em; margin: 0 0 0.8em 0; }34div.traceback ul { list-style: none; margin: 0; padding: 0 0 0 1em; }35div.traceback h4 { font-size: 13px; font-weight: normal; margin: 0.7em 0 0.1em 0; }36div.traceback pre { margin: 0; padding: 5px 0 3px 15px;37                    background-color: #E8EFF0; border: 1px solid #D3E7E9; }38div.traceback .library .current { background: white; color: #555; }39div.traceback .expanded .current { background: #E8EFF0; color: black; }40div.traceback pre:hover { background-color: #DDECEE; color: black; cursor: pointer; }41div.traceback div.source.expanded pre + pre { border-top: none; }42 43div.traceback span.ws { display: none; }44div.traceback pre.before, div.traceback pre.after { display: none; background: white; }45div.traceback div.source.expanded pre.before,46div.traceback div.source.expanded pre.after {47    display: block;48}49 50div.traceback div.source.expanded span.ws {51    display: inline;52}53 54div.traceback blockquote { margin: 1em 0 0 0; padding: 0; white-space: pre-line; }55div.traceback img { float: right; padding: 2px; margin: -3px 2px 0 0; display: none; }56div.traceback img:hover { background-color: #ddd; cursor: pointer;57                          border-color: #BFDDE0; }58div.traceback pre:hover img { display: block; }59div.traceback cite.filename { font-style: normal; color: #3B666B; }60 61pre.console { border: 1px solid #ccc; background: white!important;62              color: black; padding: 5px!important;63              margin: 3px 0 0 0!important; cursor: default!important;64              max-height: 400px; overflow: auto; }65pre.console form { color: #555; }66pre.console input { background-color: transparent; color: #555;67                    width: 90%; font-family: monospace; font-size: 14px;68                     border: none!important; }69 70span.string { color: #30799B; }71span.number { color: #9C1A1C; }72span.help   { color: #3A7734; }73span.object { color: #485F6E; }74span.extended { opacity: 0.5; }75span.extended:hover { opacity: 1; }76a.toggle { text-decoration: none; background-repeat: no-repeat;77           background-position: center center;78           background-image: url(?__debugger__=yes&cmd=resource&f=more.png); }79a.toggle:hover { background-color: #444; }80a.open { background-image: url(?__debugger__=yes&cmd=resource&f=less.png); }81 82pre.console div.traceback,83pre.console div.box { margin: 5px 10px; white-space: normal;84                      border: 1px solid #11557C; padding: 10px;85                      font-family: sans-serif;  }86pre.console div.box h3,87pre.console div.traceback h3 { margin: -10px -10px 10px -10px; padding: 5px;88                               background: #11557C; color: white; }89 90pre.console div.traceback pre:hover { cursor: default; background: #E8EFF0; }91pre.console div.traceback pre.syntaxerror { background: inherit; border: none;92                                            margin: 20px -10px -10px -10px;93                                            padding: 10px; border-top: 1px solid #BFDDE0;94                                            background: #E8EFF0; }95pre.console div.noframe-traceback pre.syntaxerror { margin-top: -10px; border: none; }96 97pre.console div.box pre.repr { padding: 0; margin: 0; background-color: white; border: none; }98pre.console div.box table { margin-top: 6px; }99pre.console div.box pre { border: none; }100pre.console div.box pre.help { background-color: white; }101pre.console div.box pre.help:hover { cursor: default; }102pre.console table tr { vertical-align: top; }103div.console { border: 1px solid #ccc; padding: 4px; background-color: #fafafa; }104 105div.traceback pre, div.console pre {106    white-space: pre-wrap;       /* css-3 should we be so lucky... */107    white-space: -moz-pre-wrap;  /* Mozilla, since 1999 */108    white-space: -pre-wrap;      /* Opera 4-6 ?? */109    white-space: -o-pre-wrap;    /* Opera 7 ?? */110    word-wrap: break-word;       /* Internet Explorer 5.5+ */111    _white-space: pre;           /* IE only hack to re-specify in112                                 addition to word-wrap  */113}114 115 116div.pin-prompt {117    position: absolute;118    display: none;119    top: 0;120    bottom: 0;121    left: 0;122    right: 0;123    background: rgba(255, 255, 255, 0.8);124}125 126div.pin-prompt .inner {127    background: #eee;128    padding: 10px 50px;129    width: 350px;130    margin: 10% auto 0 auto;131    border: 1px solid #ccc;132    border-radius: 2px;133}134 135div.exc-divider {136    margin: 0.7em 0 0 -1em;137    padding: 0.5em;138    background: #11557C;139    color: #ddd;140    border: 1px solid #ddd;141}142 143.console.active {144    max-height: 0!important;145    display: none;146}147 148.hidden {149    display: none;150}151 
codekingpro/portable-devtools · Team Ai