light theme, clean ccs

This commit is contained in:
Gaspard Jankowiak 2013-03-07 11:15:29 +01:00
parent 4c85c3e1af
commit 54e382cdd7
6 changed files with 787 additions and 96 deletions

View file

@ -8,3 +8,4 @@ auto: true
safe: true
pygments: true
style: light

View file

@ -16,7 +16,7 @@
</script>
<script type="text/javascript" src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> </script>
<script src="/javascripts/respond.js"></script>
<link rel="stylesheet" href="/stylesheets/styles.css">
<link rel="stylesheet" href="/stylesheets/styles_{{ site.style }}.css">
<link rel="stylesheet" href="/stylesheets/pygment_trac.css">
<!--[if lt IE 9]>
<script src="//html5shiv.googlecode.com/svn/trunk/html5.js"></script>
@ -32,15 +32,14 @@
<section>
<div id="title">
<h1><a style="color:rgb(232,232,232);" href="http://gjankowiak.github.com/">Page personnelle de Gaspard Jankowiak</a></h1>
<h1><a href="/">Page personnelle de Gaspard Jankowiak</a></h1>
<p>Thésard au Ceremade — Université Paris-Dauphine</p>
<hr>
</div>
<nav> <a href="/#recherche">Recherche</a> | <a href="/#publications">Publications</a> | <a href="/#enseignement">Enseignement</a> </nav>
{{ content }}
<hr>
<span class="credits right">Hosted on GitHub Pages &mdash; Theme by <a href="http://twitter.com/#!/michigangraham">mattgraham</a> &mdash;
<span class="credits right">Hosted on GitHub Pages &mdash; Theme derived from <a href="http://twitter.com/#!/michigangraham">mattgraham</a> &mdash;
Powered by <a href="http://jekyllrb.com/">Jekyll</a>
</span>
</section>

BIN
images/bullet_dark.png Normal file

Binary file not shown.

After

Width:  |  Height:  |  Size: 258 B

Binary file not shown.

Before

Width:  |  Height:  |  Size: 250 B

After

Width:  |  Height:  |  Size: 382 B

View file

@ -701,92 +701,6 @@ dt {
font-weight: normal;
}
#header {
z-index: 100;
left: 0;
top: 0px;
height: 60px;
width: 100%;
position: fixed;
background: url(../images/nav-bg.gif) #353535;
border-bottom: 4px solid #434343;
-moz-box-shadow: 0px 1px 3px rgba(0, 0, 0, 0.25);
-webkit-box-shadow: 0px 1px 3px rgba(0, 0, 0, 0.25);
-o-box-shadow: 0px 1px 3px rgba(0, 0, 0, 0.25);
box-shadow: 0px 1px 3px rgba(0, 0, 0, 0.25);
}
#header nav {
max-width: 650px;
margin: 0 auto;
padding: 0 10px;
background: blue;
margin: 6px auto;
}
#header nav li {
font-family: 'OpenSansLight', "Helvetica Neue", Helvetica, Arial, sans-serif;
font-weight: normal;
list-style: none;
display: inline;
color: white;
line-height: 50px;
text-shadow: 0px 1px 0px rgba(0, 0, 0, 0.2);
font-size: 14px;
}
#header nav li a {
color: white;
border: 1px solid #5d910b;
background: -webkit-gradient(linear, 50% 0%, 50% 100%, color-stop(0%, #93bd20), color-stop(100%, #659e10));
background: -webkit-linear-gradient(#93bd20, #659e10);
background: -moz-linear-gradient(#93bd20, #659e10);
background: -o-linear-gradient(#93bd20, #659e10);
background: -ms-linear-gradient(#93bd20, #659e10);
background: linear-gradient(#93bd20, #659e10);
-moz-border-radius: 2px;
-webkit-border-radius: 2px;
-o-border-radius: 2px;
-ms-border-radius: 2px;
-khtml-border-radius: 2px;
border-radius: 2px;
-moz-box-shadow: inset 0px 1px 0px rgba(255, 255, 255, 0.3), 0px 3px 7px rgba(0, 0, 0, 0.7);
-webkit-box-shadow: inset 0px 1px 0px rgba(255, 255, 255, 0.3), 0px 3px 7px rgba(0, 0, 0, 0.7);
-o-box-shadow: inset 0px 1px 0px rgba(255, 255, 255, 0.3), 0px 3px 7px rgba(0, 0, 0, 0.7);
box-shadow: inset 0px 1px 0px rgba(255, 255, 255, 0.3), 0px 3px 7px rgba(0, 0, 0, 0.7);
background-color: #93bd20;
padding: 10px 12px;
margin-top: 6px;
line-height: 14px;
font-size: 14px;
display: inline-block;
text-align: center;
}
#header nav li a:hover {
background: -webkit-gradient(linear, 50% 0%, 50% 100%, color-stop(0%, #749619), color-stop(100%, #527f0e));
background: -webkit-linear-gradient(#749619, #527f0e);
background: -moz-linear-gradient(#749619, #527f0e);
background: -o-linear-gradient(#749619, #527f0e);
background: -ms-linear-gradient(#749619, #527f0e);
background: linear-gradient(#749619, #527f0e);
background-color: #659e10;
border: 1px solid #527f0e;
-moz-box-shadow: inset 0px 1px 1px rgba(0, 0, 0, 0.2), 0px 1px 0px rgba(0, 0, 0, 0);
-webkit-box-shadow: inset 0px 1px 1px rgba(0, 0, 0, 0.2), 0px 1px 0px rgba(0, 0, 0, 0);
-o-box-shadow: inset 0px 1px 1px rgba(0, 0, 0, 0.2), 0px 1px 0px rgba(0, 0, 0, 0);
box-shadow: inset 0px 1px 1px rgba(0, 0, 0, 0.2), 0px 1px 0px rgba(0, 0, 0, 0);
}
#header nav li.fork {
float: left;
margin-left: 0px;
}
#header nav li.downloads {
float: right;
margin-left: 6px;
}
#header nav li.title {
float: right;
margin-right: 10px;
font-size: 11px;
}
section {
max-width: 650px;
padding: 30px 0px 50px 0px;
@ -806,6 +720,9 @@ section #title h1 {
text-align: center;
line-height: 27px;
}
section #title h1 a {
color: inherit;
}
section #title p {
color: #d7cfbe;
font-family: 'OpenSansLight', "Helvetica Neue", Helvetica, Arial, sans-serif;
@ -863,9 +780,3 @@ section .credits.right {
#MathJax_Zoom {
background-color: #1B1B1B !important;
}
nav {
display: none;
font-size: 1.3em;
text-align:center;
}

View file

@ -0,0 +1,780 @@
@font-face {
font-family: 'OpenSansLight';
src: url("../fonts/OpenSans-Light.eot");
src: url("../fonts/OpenSans-Light.eot?#iefix") format("embedded-opentype"), url("../fonts/OpenSans-Light.woff") format("woff"), url("../fonts/OpenSans-Light.ttf") format("truetype"), url("../fonts/OpenSans-Light.svg#OpenSansLight") format("svg");
font-weight: normal;
font-style: normal;
}
@font-face {
font-family: 'OpenSansLightItalic';
src: url("../fonts/OpenSans-LightItalic-webfont.eot");
src: url("../fonts/OpenSans-LightItalic-webfont.eot?#iefix") format("embedded-opentype"), url("../fonts/OpenSans-LightItalic-webfont.woff") format("woff"), url("../fonts/OpenSans-LightItalic-webfont.ttf") format("truetype"), url("../fonts/OpenSans-LightItalic-webfont.svg#OpenSansLightItalic") format("svg");
font-weight: normal;
font-style: normal;
}
@font-face {
font-family: 'OpenSansRegular';
src: url("../fonts/OpenSans-Regular-webfont.eot");
src: url("../fonts/OpenSans-Regular-webfont.eot?#iefix") format("embedded-opentype"), url("../fonts/OpenSans-Regular-webfont.woff") format("woff"), url("../fonts/OpenSans-Regular-webfont.ttf") format("truetype"), url("../fonts/OpenSans-Regular-webfont.svg#OpenSansRegular") format("svg");
font-weight: normal;
font-style: normal;
-webkit-font-smoothing: antialiased;
}
@font-face {
font-family: 'OpenSansItalic';
src: url("../fonts/OpenSans-Italic-webfont.eot");
src: url("../fonts/OpenSans-Italic-webfont.eot?#iefix") format("embedded-opentype"), url("../fonts/OpenSans-Italic-webfont.woff") format("woff"), url("../fonts/OpenSans-Italic-webfont.ttf") format("truetype"), url("../fonts/OpenSans-Italic-webfont.svg#OpenSansItalic") format("svg");
font-weight: normal;
font-style: normal;
-webkit-font-smoothing: antialiased;
}
@font-face {
font-family: 'OpenSansSemibold';
src: url("../fonts/OpenSans-Semibold-webfont.eot");
src: url("../fonts/OpenSans-Semibold-webfont.eot?#iefix") format("embedded-opentype"), url("../fonts/OpenSans-Semibold-webfont.woff") format("woff"), url("../fonts/OpenSans-Semibold-webfont.ttf") format("truetype"), url("../fonts/OpenSans-Semibold-webfont.svg#OpenSansSemibold") format("svg");
font-weight: normal;
font-style: normal;
-webkit-font-smoothing: antialiased;
}
@font-face {
font-family: 'OpenSansSemiboldItalic';
src: url("../fonts/OpenSans-SemiboldItalic-webfont.eot");
src: url("../fonts/OpenSans-SemiboldItalic-webfont.eot?#iefix") format("embedded-opentype"), url("../fonts/OpenSans-SemiboldItalic-webfont.woff") format("woff"), url("../fonts/OpenSans-SemiboldItalic-webfont.ttf") format("truetype"), url("../fonts/OpenSans-SemiboldItalic-webfont.svg#OpenSansSemiboldItalic") format("svg");
font-weight: normal;
font-style: normal;
-webkit-font-smoothing: antialiased;
}
@font-face {
font-family: 'OpenSansBold';
src: url("../fonts/OpenSans-Bold-webfont.eot");
src: url("../fonts/OpenSans-Bold-webfont.eot?#iefix") format("embedded-opentype"), url("../fonts/OpenSans-Bold-webfont.woff") format("woff"), url("../fonts/OpenSans-Bold-webfont.ttf") format("truetype"), url("../fonts/OpenSans-Bold-webfont.svg#OpenSansBold") format("svg");
font-weight: normal;
font-style: normal;
-webkit-font-smoothing: antialiased;
}
@font-face {
font-family: 'OpenSansBoldItalic';
src: url("../fonts/OpenSans-BoldItalic-webfont.eot");
src: url("../fonts/OpenSans-BoldItalic-webfont.eot?#iefix") format("embedded-opentype"), url("../fonts/OpenSans-BoldItalic-webfont.woff") format("woff"), url("../fonts/OpenSans-BoldItalic-webfont.ttf") format("truetype"), url("../fonts/OpenSans-BoldItalic-webfont.svg#OpenSansBoldItalic") format("svg");
font-weight: normal;
font-style: normal;
-webkit-font-smoothing: antialiased;
}
/* normalize.css 2012-02-07T12:37 UTC - http://github.com/necolas/normalize.css */
/* =============================================================================
HTML5 display definitions
========================================================================== */
/*
* Corrects block display not defined in IE6/7/8/9 & FF3
*/
article,
aside,
details,
figcaption,
figure,
footer,
header,
hgroup,
nav,
section,
summary {
display: block;
}
/*
* Corrects inline-block display not defined in IE6/7/8/9 & FF3
*/
audio,
canvas,
video {
display: inline-block;
*display: inline;
*zoom: 1;
}
/*
* Prevents modern browsers from displaying 'audio' without controls
*/
audio:not([controls]) {
display: none;
}
/*
* Addresses styling for 'hidden' attribute not present in IE7/8/9, FF3, S4
* Known issue: no IE6 support
*/
[hidden] {
display: none;
}
/* =============================================================================
Base
========================================================================== */
/*
* 1. Corrects text resizing oddly in IE6/7 when body font-size is set using em units
* http://clagnut.com/blog/348/#c790
* 2. Prevents iOS text size adjust after orientation change, without disabling user zoom
* www.456bereastreet.com/archive/201012/controlling_text_size_in_safari_for_ios_without_disabling_user_zoom/
*/
html {
font-size: 100%;
/* 1 */
-webkit-text-size-adjust: 100%;
/* 2 */
-ms-text-size-adjust: 100%;
/* 2 */
}
/*
* Addresses font-family inconsistency between 'textarea' and other form elements.
*/
html,
button,
input,
select,
textarea {
font-family: sans-serif;
}
/*
* Addresses margins handled incorrectly in IE6/7
*/
body {
margin: 0;
}
/* =============================================================================
Links
========================================================================== */
/*
* Addresses outline displayed oddly in Chrome
*/
a:focus {
outline: thin dotted;
}
/*
* Improves readability when focused and also mouse hovered in all browsers
* people.opera.com/patrickl/experiments/keyboard/test
*/
a:hover,
a:active {
outline: 0;
}
/* =============================================================================
Typography
========================================================================== */
/*
* Addresses font sizes and margins set differently in IE6/7
* Addresses font sizes within 'section' and 'article' in FF4+, Chrome, S5
*/
h1 {
font-size: 2em;
margin: 0.67em 0;
}
h2 {
font-size: 1.5em;
margin: 0.83em 0;
}
h3 {
font-size: 1.17em;
margin: 1em 0;
}
h4 {
font-size: 1em;
margin: 1.33em 0;
}
h5 {
font-size: 0.83em;
margin: 1.67em 0;
}
h6 {
font-size: 0.75em;
margin: 2.33em 0;
}
/*
* Addresses styling not present in IE7/8/9, S5, Chrome
*/
abbr[title] {
border-bottom: 1px dotted;
}
/*
* Addresses style set to 'bolder' in FF3+, S4/5, Chrome
*/
b,
strong {
font-weight: bold;
}
blockquote {
margin: 1em 40px;
}
/*
* Addresses styling not present in S5, Chrome
*/
dfn {
font-style: italic;
}
/*
* Addresses styling not present in IE6/7/8/9
*/
mark {
background: #ff0;
color: #000;
}
/*
* Addresses margins set differently in IE6/7
*/
p,
pre {
margin: 1em 0;
}
/*
* Corrects font family set oddly in IE6, S4/5, Chrome
* en.wikipedia.org/wiki/User:Davidgothberg/Test59
*/
pre,
code,
kbd,
samp {
font-family: monospace, serif;
_font-family: 'courier new', monospace;
font-size: 1em;
}
/*
* 1. Addresses CSS quotes not supported in IE6/7
* 2. Addresses quote property not supported in S4
*/
/* 1 */
q {
quotes: none;
}
/* 2 */
q:before,
q:after {
content: '';
content: none;
}
small {
font-size: 75%;
}
/*
* Prevents sub and sup affecting line-height in all browsers
* gist.github.com/413930
*/
sub,
sup {
font-size: 75%;
line-height: 0;
position: relative;
vertical-align: baseline;
}
sup {
top: -0.5em;
}
sub {
bottom: -0.25em;
}
/* =============================================================================
Lists
========================================================================== */
/*
* Addresses margins set differently in IE6/7
*/
dl,
menu,
ol,
ul {
margin: 1em 0;
}
dd {
margin: 0 0 0 40px;
}
/*
* Addresses paddings set differently in IE6/7
*/
menu,
ol,
ul {
padding: 0 0 0 40px;
}
/*
* Corrects list images handled incorrectly in IE7
*/
nav ul,
nav ol {
list-style: none;
list-style-image: none;
}
/* =============================================================================
Embedded content
========================================================================== */
/*
* 1. Removes border when inside 'a' element in IE6/7/8/9, FF3
* 2. Improves image quality when scaled in IE7
* code.flickr.com/blog/2008/11/12/on-ui-quality-the-little-things-client-side-image-resizing/
*/
img {
border: 0;
/* 1 */
-ms-interpolation-mode: bicubic;
/* 2 */
}
/*
* Corrects overflow displayed oddly in IE9
*/
svg:not(:root) {
overflow: hidden;
}
/* =============================================================================
Figures
========================================================================== */
/*
* Addresses margin not present in IE6/7/8/9, S5, O11
*/
figure {
margin: 0;
}
/* =============================================================================
Forms
========================================================================== */
/*
* Corrects margin displayed oddly in IE6/7
*/
form {
margin: 0;
}
/*
* Define consistent border, margin, and padding
*/
fieldset {
border: 1px solid #c0c0c0;
margin: 0 2px;
padding: 0.35em 0.625em 0.75em;
}
/*
* 1. Corrects color not being inherited in IE6/7/8/9
* 2. Corrects text not wrapping in FF3
* 3. Corrects alignment displayed oddly in IE6/7
*/
legend {
border: 0;
/* 1 */
padding: 0;
white-space: normal;
/* 2 */
*margin-left: -7px;
/* 3 */
}
/*
* 1. Corrects font size not being inherited in all browsers
* 2. Addresses margins set differently in IE6/7, FF3+, S5, Chrome
* 3. Improves appearance and consistency in all browsers
*/
button,
input,
select,
textarea {
font-size: 100%;
/* 1 */
margin: 0;
/* 2 */
vertical-align: baseline;
/* 3 */
*vertical-align: middle;
/* 3 */
}
/*
* Addresses FF3/4 setting line-height on 'input' using !important in the UA stylesheet
*/
button,
input {
line-height: normal;
/* 1 */
}
/*
* 1. Improves usability and consistency of cursor style between image-type 'input' and others
* 2. Corrects inability to style clickable 'input' types in iOS
* 3. Removes inner spacing in IE7 without affecting normal text inputs
* Known issue: inner spacing remains in IE6
*/
button,
input[type="button"],
input[type="reset"],
input[type="submit"] {
cursor: pointer;
/* 1 */
-webkit-appearance: button;
/* 2 */
*overflow: visible;
/* 3 */
}
/*
* Re-set default cursor for disabled elements
*/
button[disabled],
input[disabled] {
cursor: default;
}
/*
* 1. Addresses box sizing set to content-box in IE8/9
* 2. Removes excess padding in IE8/9
* 3. Removes excess padding in IE7
Known issue: excess padding remains in IE6
*/
input[type="checkbox"],
input[type="radio"] {
box-sizing: border-box;
/* 1 */
padding: 0;
/* 2 */
*height: 13px;
/* 3 */
*width: 13px;
/* 3 */
}
/*
* 1. Addresses appearance set to searchfield in S5, Chrome
* 2. Addresses box-sizing set to border-box in S5, Chrome (include -moz to future-proof)
*/
input[type="search"] {
-webkit-appearance: textfield;
/* 1 */
-moz-box-sizing: content-box;
-webkit-box-sizing: content-box;
/* 2 */
box-sizing: content-box;
}
/*
* Removes inner padding and search cancel button in S5, Chrome on OS X
*/
input[type="search"]::-webkit-search-decoration,
input[type="search"]::-webkit-search-cancel-button {
-webkit-appearance: none;
}
/*
* Removes inner padding and border in FF3+
* www.sitepen.com/blog/2008/05/14/the-devils-in-the-details-fixing-dojos-toolbar-buttons/
*/
button::-moz-focus-inner,
input::-moz-focus-inner {
border: 0;
padding: 0;
}
/*
* 1. Removes default vertical scrollbar in IE6/7/8/9
* 2. Improves readability and alignment in all browsers
*/
textarea {
overflow: auto;
/* 1 */
vertical-align: top;
/* 2 */
}
/* =============================================================================
Tables
========================================================================== */
/*
* Remove most spacing between table cells
*/
table {
border-collapse: collapse;
border-spacing: 0;
}
body {
padding: 0px 0 20px 0px;
margin: 0px;
font: 14px/1.5 "OpenSansRegular", "Helvetica Neue", Helvetica, Arial, sans-serif;
color: #333;
font-weight: normal;
background-color: #EEF;
/*background-attachment: fixed !important;
background: -webkit-gradient(linear, 50% 0%, 50% 100%, color-stop(0%, #2a2a29), color-stop(100%, #1c1c1c));
background: -webkit-linear-gradient(#2a2a29, #1c1c1c);
background: -moz-linear-gradient(#2a2a29, #1c1c1c);
background: -o-linear-gradient(#2a2a29, #1c1c1c);
background: -ms-linear-gradient(#2a2a29, #1c1c1c);
background: linear-gradient(#2a2a29, #1c1c1c);*/
}
h1, h2, h3, h4, h5, h6 {
color: #222;
margin: 0 0 10px;
font-family: 'OpenSansRegular', "Helvetica Neue", Helvetica, Arial, sans-serif;
font-weight: normal;
}
p {
text-align: justify;
}
p, ul, ol, table, pre, dl {
margin: 0 0 20px;
}
h1, h2, h3 {
line-height: 1.1;
}
h1 {
font-size: 28px;
}
h2 {
font-size: 24px;
}
h4, h5, h6 {
color: #111;
}
h3 {
font-size: 18px;
line-height: 24px;
font-family: 'OpenSansRegular', "Helvetica Neue", Helvetica, Arial, sans-serif !important;
font-weight: normal;
color: #444;
}
a {
color: #5500ff; /* yellow */
/*color: #7777ff; blue */
/*color: #33ff33; green */
font-weight: 400;
text-decoration: none;
}
a:hover {
color: #7777ff; /* yellow */
/*color: #9999ff; blue */
/*color: #99ff99; green */
}
a small {
font-size: 11px;
color: #666;
margin-top: -0.6em;
display: block;
}
ul {
list-style-image: url("../images/bullet_dark.png");
}
strong {
font-family: 'OpenSansBold', "Helvetica Neue", Helvetica, Arial, sans-serif !important;
font-weight: normal;
}
.wrapper {
max-width: 650px;
margin: 0 auto;
position: relative;
padding: 0 20px;
}
section img {
max-width: 100%;
}
blockquote {
border-left: 3px solid #ffcc00;
margin: 0;
padding: 0 0 0 20px;
font-style: italic;
}
code {
font-family: "Lucida Sans", Monaco, Bitstream Vera Sans Mono, Lucida Console, Terminal;
font-size: 13px;
margin: 0 4px;
padding: 4px 6px;
-moz-border-radius: 2px;
-webkit-border-radius: 2px;
-o-border-radius: 2px;
-ms-border-radius: 2px;
-khtml-border-radius: 2px;
border-radius: 2px;
}
pre {
padding: 8px 15px;
background: #e5e5f5;
-moz-border-radius: 2px;
-webkit-border-radius: 2px;
-o-border-radius: 2px;
-ms-border-radius: 2px;
-khtml-border-radius: 2px;
border-radius: 2px;
border: 1px solid #aaa;
-moz-box-shadow: inset 0 1px 2px rgba(0, 0, 0, 0.3);
-webkit-box-shadow: inset 0 1px 2px rgba(0, 0, 0, 0.3);
-o-box-shadow: inset 0 1px 2px rgba(0, 0, 0, 0.3);
box-shadow: inset 0 1px 2px rgba(0, 0, 0, 0.3);
overflow: auto;
overflow-y: hidden;
}
pre code {
margin: 0;
padding: 0;
}
table {
width: 100%;
border-collapse: collapse;
}
th {
text-align: left;
padding: 5px 10px;
border-bottom: 1px solid #434343;
color: #b6b6b6;
font-family: 'OpenSansSemibold', "Helvetica Neue", Helvetica, Arial, sans-serif !important;
font-weight: normal;
}
td {
text-align: left;
padding: 5px 10px;
border-bottom: 1px solid #434343;
}
hr {
border: none;
height: 1px;
background-color: #aaa;
margin: 0 0 20px;
}
dt {
color: #F0E7D5;
font-family: 'OpenSansSemibold', "Helvetica Neue", Helvetica, Arial, sans-serif !important;
font-weight: normal;
}
section {
max-width: 650px;
padding: 30px 0px 50px 0px;
margin: 20px 0;
margin-top: 70px;
}
section #title {
border: 0;
outline: none;
margin: 0;
padding: 0 0 5px 0;
}
section #title h1 {
font-family: 'OpenSansLight', "Helvetica Neue", Helvetica, Arial, sans-serif;
font-weight: normal;
font-size: 30px;
text-align: center;
line-height: 27px;
color: #333;
}
section #title h1 a {
color: inherit;
}
section #title p {
color: #444;
font-family: 'OpenSansLight', "Helvetica Neue", Helvetica, Arial, sans-serif;
font-weight: normal;
font-size: 18px;
text-align: center;
}
section .credits {
font-size: 11px;
font-family: 'OpenSansRegular', "Helvetica Neue", Helvetica, Arial, sans-serif;
font-weight: normal;
color: #696969;
margin-top: -10px;
}
section .credits.left {
float: left;
}
section .credits.right {
float: right;
}
@media print, screen and (max-width: 720px) {
.credits {
display: block;
width: 100%;
line-height: 30px;
text-align: center;
}
.credits .left {
float: none;
display: block;
}
.credits .right {
float: none;
display: block;
}
}
@media print, screen and (max-width: 480px) {
#header {
margin-top: -20px;
}
section {
margin-top: 40px;
}
nav {
display: none;
}
}
.MathJax_Display {
font-size: 120%;
}
#MathJax_Zoom {
background-color: #1B1B1B !important;
}