css tweaks for edit.html

added remote css support to webworkflow edit.html and moved in page css out to the external stylesheet.
This commit is contained in:
Andy Warburton 2022-08-02 21:10:39 +01:00
parent 5d653772cd
commit b67f3585e8
2 changed files with 14 additions and 12 deletions

View File

@ -3,18 +3,8 @@
<head>
<meta charset="UTF-8">
<title>Code Edit</title>
<style>
#code_textarea {
width: 90%;
height: 600px;
}
#output_text {
margin: 0;
font-size: 0.7em;
}
</style>
<link rel="stylesheet" href="http://circuitpython.org/assets/css/webworkflow-8.css">
<link rel="stylesheet" href="/style.css">
</head>
<body>
<button id="save_btn">Save</button>

View File

@ -5,3 +5,15 @@ body {
font-family: "Proxima Nova", Verdana, sans-serif;
line-height: 20.7px;
}
/* for edit.html */
#code_textarea {
width: 90%;
height: 600px;
}
#output_text {
margin: 0;
font-size: 0.7em;
}