Merge remote-tracking branch 'origin/main'

This commit is contained in:
Hosted Weblate 2022-08-03 03:36:41 +02:00
commit fde916d4ac
No known key found for this signature in database
GPG Key ID: A3FAAA06E6569B4C
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;
}