Tweak CSS templates, fixes #61

pull/117/head
Matti Pastell 2018-01-04 17:18:25 +02:00
parent 484b1fdf23
commit 5b6d50cf72
2 changed files with 17 additions and 10 deletions

View File

@ -1,16 +1,13 @@
<style type="text/css">
@font-face {
font-family: 'Garamond';
font-style: normal;
font-weight: 300;
}
@font-face {
font-family: 'Garamond';
font-style: normal;
font-weight: 400;
}
@font-face {
font-family: 'Garamond';
font-style: normal;
font-weight: 600;
}
@ -184,6 +181,8 @@ optgroup {
font-weight: bold;
}
table {
font-family: monospace, monospace;
font-size : 0.8em;
border-collapse: collapse;
border-spacing: 0;
}
@ -191,7 +190,13 @@ td,
th {
padding: 0;
}
thead th {
border-bottom: 1px solid black;
background-color: white;
}
tr:nth-child(odd){
background-color: rgb(248,248,248);
}
/*
* Skeleton V2.0.4
@ -503,7 +508,7 @@ pre.sourceCode.julia {
display: block;
padding: 9.5px;
margin: 0 0 10px;
font-size: 13px;
font-size: 12px;
line-height: 1.42857143;
color: #333;
word-break: break-all;
@ -520,16 +525,11 @@ samp {
font-family: Menlo, Monaco, Consolas, "Courier New", monospace;
}
code {
padding: 2px 4px;
font-size: 90%;
background-color: #ffffff;
border-radius: 4px;
}
code.sourceCode.julia {
padding: 2px 4px;
font-size: 90%;
background-color: #f5f5f5;
border-radius: 4px;
}

View File

@ -189,6 +189,13 @@ td,
th {
padding: 0;
}
thead th {
border-bottom: 1px solid black;
background-color: white;
}
tr:nth-child(odd){
background-color: rgb(248,248,248);
}
/*