diff --git a/static/style.css b/static/style.css index f2ee9b8..ae213bd 100644 --- a/static/style.css +++ b/static/style.css @@ -261,6 +261,16 @@ code { font-size: 85%; } +/* Results */ +.results.lang-text { + border-radius: 4px; + border: 1px solid rgba(255,255,255,0.5); + padding: 1ex; + max-height: 80vh; + overflow-y: auto; +} + + .content { margin: 1ex; } @@ -405,6 +415,11 @@ tr.__table-separator { font-family: Menlo, Monaco, "Courier New", monospace; } + /* Results */ + .results.lang-text { + border: 1px solid rgba(255,255,255,0.5); + } + /* Tables. */ table, th, td, tr { border: 1px solid #eee;