tdehaeze/dehaeze20_optim_robus_compl_filte
1
0
Fork 0
Code Issues Pull Requests Releases Activity

Change HTML fonts => LaTeX

Browse Source
This commit is contained in:
Thomas Dehaeze 2020-10-01 14:31:43 +02:00
parent d6a23bc190
commit 27db1ace65
1 changed files with 8 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
css/readtheorg.css
View File

@ -2,7 +2,7 @@
@import url(https://maxcdn.bootstrapcdn.com/font-awesome/4.3.0/css/font-awesome.min.css); @import url(https://maxcdn.bootstrapcdn.com/font-awesome/4.3.0/css/font-awesome.min.css);
h1,h2,h3,h4,h5,h6,legend{ h1,h2,h3,h4,h5,h6,legend{
font-family:"Roboto Slab","ff-tisa-web-pro","Georgia",Arial,sans-serif; font-family: "Computer Modern Serif","Roboto Slab","ff-tisa-web-pro","Georgia",Arial,sans-serif;
font-weight:700; font-weight:700;
margin-top:0; margin-top:0;
} }
@ -51,7 +51,7 @@ html{
body{ body{
background:#edf0f2; background:#edf0f2;
color:#404040; color:#404040;
font-family:"Lato","proxima-nova","Helvetica Neue",Arial,sans-serif; font-family: "Computer Modern Serif","Lato","proxima-nova","Helvetica Neue",Arial,sans-serif;
font-weight:normal; font-weight:normal;
margin:0; margin:0;
min-height:100%; min-height:100%;
@ -62,7 +62,6 @@ body{
background:#fcfcfc; background:#fcfcfc;
height:100%; height:100%;
margin-left:300px; margin-left:300px;
/* margin:auto; */
max-width:800px; max-width:800px;
min-height:100%; min-height:100%;
padding:1.618em 3.236em; padding:1.618em 3.236em;
@ -371,7 +370,8 @@ table thead th{
table caption{ table caption{
color:#000; color:#000;
font:italic 85%/1 arial,sans-serif; /* font:italic 85%/1 arial,sans-serif; */
font-size: 85%;
padding:1em 0; padding:1em 0;
text-align: center; text-align: center;
} }
@ -386,7 +386,8 @@ table tr:nth-child(2n) td{
.figure p{ .figure p{
color:#000; color:#000;
font:italic 85%/1 arial,sans-serif; /* font:italic 85%/1 arial,sans-serif; */
font-size: 85%;
padding:1em 0; padding:1em 0;
text-align: center; text-align: center;
margin: 0; margin: 0;
@ -1098,4 +1099,5 @@ h2.footnotes{
/* padding: 10px 20px 10px 60px; */ /* padding: 10px 20px 10px 60px; */
padding: 9px 12px; padding: 9px 12px;
margin-bottom: 24px; margin-bottom: 24px;
font-family:"Roboto Slab","ff-tisa-web-pro","Georgia",Arial,sans-serif} font-family:"Roboto Slab","ff-tisa-web-pro","Georgia",Arial,sans-serif;
}