Initial commit
This commit is contained in:
commit
778fe31c38
35 changed files with 1849 additions and 0 deletions
33
tuto/tutorial-head.html
Normal file
33
tuto/tutorial-head.html
Normal file
|
|
@ -0,0 +1,33 @@
|
|||
<style type="text/css">
|
||||
body {
|
||||
font-family: "Libertinus Sans";
|
||||
max-width: 80% !important;
|
||||
font-size: 13pt !important;
|
||||
}
|
||||
h2 {
|
||||
border-bottom: 2pt solid black;
|
||||
}
|
||||
h3 {
|
||||
border-bottom: 1pt solid black;
|
||||
}
|
||||
h4 {
|
||||
border-bottom: 1pt solid #ccc;
|
||||
}
|
||||
div.sourceCode {
|
||||
margin-left: -5px;
|
||||
border-left: 1px dashed #ccc;
|
||||
padding-left: 4px;
|
||||
}
|
||||
div.sourceCode code {
|
||||
font-size: 10pt !important;
|
||||
}
|
||||
code {
|
||||
font-family: "Fira Code" !important;
|
||||
}
|
||||
p code {
|
||||
padding-left: 4px;
|
||||
}
|
||||
header {
|
||||
margin-top: 1cm;
|
||||
}
|
||||
</style>
|
||||
Loading…
Add table
Add a link
Reference in a new issue