personal/werc-1.5.0-tweaks
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

tweak: make isso comment box larger

Browse Source
This commit is contained in:
Nuno Sempere 2023-04-14 22:31:21 +00:00
parent 88d76e8573
commit 9efc792c9b
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
pub/style/style.css
View File

@ -196,7 +196,9 @@ pre {
border: 2px solid; border: 2px solid;
overflow-x: auto; overflow-x: auto;
} }
pre, code { pre,
code {
display: block;
padding: 0.5em; padding: 0.5em;
} }
@ -353,3 +355,8 @@ table thead {
font-size: 20px; font-size: 20px;
} }
.isso-textarea {
height: 15em;
resize: vertical;
}