css clean up

This commit is contained in:
Gaspard Jankowiak 2014-01-27 21:52:30 +01:00
parent 13f75e75e3
commit df58a996ee
16 changed files with 401 additions and 2199 deletions

View file

@ -27,7 +27,8 @@
</script>
<script type="text/javascript" src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> </script>
{% endif %}
<link rel="stylesheet" href="/stylesheets/styles_{{ site.style }}.css">
<link rel="stylesheet" href="http://yui.yahooapis.com/pure/0.3.0/base-min.css">
<link rel="stylesheet" href="/stylesheets/screen.css">
<!--[if lt IE 9]>
<script src="//html5shiv.googlecode.com/svn/trunk/html5.js"></script>
<![endif]-->
@ -38,10 +39,9 @@
</head>
<body>
<div id="outter-wrapper">
<div class="wrapper">
<div id="wrapper">
<section>
<div id="title">
<header>
{% if page:header-homelink %}
{% assign homelink = page:header-homelink %}
{% else %}
@ -62,18 +62,17 @@
{% endif %}
</p>
<hr>
</div>
</header>
<section>
<div id="content">
{{ content }}
<p class="clear">
</div>
<p class="clear"></p>
<hr class="clear">
<footer>
<span class="credits left"><a href="http://validator.w3.org/check?uri=http%3A%2F%2Fgjankowiak.github.com{{ page.url | cgi_escape }}">Validate</a> HTML</span>
<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 class="credits right">Hosted on GitHub Pages &mdash; Powered by <a href="http://jekyllrb.com/">Jekyll</a>
</span>
</footer>
</section>
@ -94,7 +93,6 @@
var pageTracker = _gat._getTracker("UA-38752691-1");
pageTracker._trackPageview();
} catch(err) {}
</script>
</body>
</script>
</body>
</html>

5
_sass/ie.scss Normal file
View file

@ -0,0 +1,5 @@
/* Welcome to Compass. Use this file to write IE specific override styles.
* Import this file using the following HTML or equivalent:
* <!--[if IE]>
* <link href="/stylesheets/ie.css" media="screen, projection" rel="stylesheet" type="text/css" />
* <![endif]--> */

3
_sass/print.scss Normal file
View file

@ -0,0 +1,3 @@
/* Welcome to Compass. Use this file to define print styles.
* Import this file using the following HTML or equivalent:
* <link href="/stylesheets/print.css" media="print" rel="stylesheet" type="text/css" /> */

83
_sass/screen.scss Normal file
View file

@ -0,0 +1,83 @@
/* Welcome to Compass.
* In this file you should write your main styles. (or centralize your imports)
* Import this file using the following HTML or equivalent:
* <link href="/stylesheets/screen.css" media="screen, projection" rel="stylesheet" type="text/css" /> */
$bg: #eee;
$text: #444;
$strong: #111;
$dim: #999;
$links: #55f;
$rule: #999;
$width: 800px;
@import "compass/reset";
@import "compass/css3";
@include font-face("OpenSans", font-files("OpenSans.woff"));
@include font-face("OpenSansLight", font-files("OpenSans-Light.woff"));
@include font-face("OpenSansItalic", font-files("OpenSans-Italic.woff"));
html, body { height: 100%; text-align: justify;
background-color: $bg; color: $text;
font-family: "OpenSans", sans;
line-height: 1.4em; }
a { text-decoration: none; color: $links; }
a:hover { text-decoration: underline; }
hr { height: 1px; border: none; background-color: $rule; margin-top: 1em; }
section h1 { font-size: 150%; border-left: 0.25em solid $links;
border-radius: 3px; padding-left: 0.3em; margin-left: -0.8em; }
section h2 { font-size: 120%; font-weight: bold; }
h1, h2, h3, h4, h5 { margin: 0.7em 0 0.5em 0; }
header { text-align: center; font-family: "OpenSansLight", sans;
line-height: 1.3em; font-weight: 400; font-size: 1.2em;
padding-top: 0.5em; }
header h1 { font-size: 1.5em; margin:0 0 0.3em 0; }
header a { color: $text; }
nav { text-align: center; font-size: 120%; margin: 1em 0; }
nav ul li { display: inline; margin: 0; clear: both; }
footer { font-size: 75%; padding-bottom: 175px; }
em { font-family: OpenSansItalic; }
table { width: 100%; }
thead { color: $dim; }
th, td { padding: 0.3em; }
tr { border-bottom: 1px solid $dim; }
tbody tr:hover { border-bottom: 1px solid $strong; color: $strong; }
ul { list-style-image: url('../images/bullet_dark.png'); }
li { margin-left: 1em; }
.float-left { float: left; }
.right, .float-right { float: right; }
.clear { clear: both; }
.switcher { float: left; }
.credits { color: $dim; }
#wrapper { max-width: $width; margin: auto; }
#outter-wrapper { width: 100%; height: auto; min-height: 100%; position: relative; }
#foot_image { height: 150px; background-image: url('../images/antennes.png');
position: absolute; bottom: 0; width: 100%; }
@media (max-width: $width) {
#outter-wrapper { width: 100%; }
header h1 { font-size: 1.2em; }
header { font-size: 1em; }
body { padding: 0 1em; }
#foot_image { display: none; }
footer { display: none; }
}

View file

@ -1,3 +1,5 @@
nav {
display: none;
}
/* Welcome to Compass. Use this file to write IE specific override styles.
* Import this file using the following HTML or equivalent:
* <!--[if IE]>
* <link href="/stylesheets/ie.css" media="screen, projection" rel="stylesheet" type="text/css" />
* <![endif]--> */

View file

@ -1,459 +0,0 @@
/* 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;
}

View file

@ -1,70 +0,0 @@
.highlight .hll { background-color: #404040 }
.highlight { color: #d0d0d0 }
.highlight .c { color: #999999; font-style: italic } /* Comment */
.highlight .err { color: #a61717; background-color: #e3d2d2 } /* Error */
.highlight .g { color: #d0d0d0 } /* Generic */
.highlight .k { color: #6ab825; font-weight: normal } /* Keyword */
.highlight .l { color: #d0d0d0 } /* Literal */
.highlight .n { color: #d0d0d0 } /* Name */
.highlight .o { color: #d0d0d0 } /* Operator */
.highlight .x { color: #d0d0d0 } /* Other */
.highlight .p { color: #d0d0d0 } /* Punctuation */
.highlight .cm { color: #999999; font-style: italic } /* Comment.Multiline */
.highlight .cp { color: #cd2828; font-weight: normal } /* Comment.Preproc */
.highlight .c1 { color: #999999; font-style: italic } /* Comment.Single */
.highlight .cs { color: #e50808; font-weight: normal; background-color: #520000 } /* Comment.Special */
.highlight .gd { color: #d22323 } /* Generic.Deleted */
.highlight .ge { color: #d0d0d0; font-style: italic } /* Generic.Emph */
.highlight .gr { color: #d22323 } /* Generic.Error */
.highlight .gh { color: #ffffff; font-weight: normal } /* Generic.Heading */
.highlight .gi { color: #589819 } /* Generic.Inserted */
.highlight .go { color: #cccccc } /* Generic.Output */
.highlight .gp { color: #aaaaaa } /* Generic.Prompt */
.highlight .gs { color: #d0d0d0; font-weight: normal } /* Generic.Strong */
.highlight .gu { color: #ffffff; text-decoration: underline } /* Generic.Subheading */
.highlight .gt { color: #d22323 } /* Generic.Traceback */
.highlight .kc { color: #6ab825; font-weight: normal } /* Keyword.Constant */
.highlight .kd { color: #6ab825; font-weight: normal } /* Keyword.Declaration */
.highlight .kn { color: #6ab825; font-weight: normal } /* Keyword.Namespace */
.highlight .kp { color: #6ab825 } /* Keyword.Pseudo */
.highlight .kr { color: #6ab825; font-weight: normal } /* Keyword.Reserved */
.highlight .kt { color: #6ab825; font-weight: normal } /* Keyword.Type */
.highlight .ld { color: #d0d0d0 } /* Literal.Date */
.highlight .m { color: #3677a9 } /* Literal.Number */
.highlight .s { color: #9dd5f1 } /* Literal.String */
.highlight .na { color: #bbbbbb } /* Name.Attribute */
.highlight .nb { color: #24909d } /* Name.Builtin */
.highlight .nc { color: #447fcf; text-decoration: underline } /* Name.Class */
.highlight .no { color: #40ffff } /* Name.Constant */
.highlight .nd { color: #ffa500 } /* Name.Decorator */
.highlight .ni { color: #d0d0d0 } /* Name.Entity */
.highlight .ne { color: #bbbbbb } /* Name.Exception */
.highlight .nf { color: #447fcf } /* Name.Function */
.highlight .nl { color: #d0d0d0 } /* Name.Label */
.highlight .nn { color: #447fcf; text-decoration: underline } /* Name.Namespace */
.highlight .nx { color: #d0d0d0 } /* Name.Other */
.highlight .py { color: #d0d0d0 } /* Name.Property */
.highlight .nt { color: #6ab825;} /* Name.Tag */
.highlight .nv { color: #40ffff } /* Name.Variable */
.highlight .ow { color: #6ab825; font-weight: normal } /* Operator.Word */
.highlight .w { color: #666666 } /* Text.Whitespace */
.highlight .mf { color: #3677a9 } /* Literal.Number.Float */
.highlight .mh { color: #3677a9 } /* Literal.Number.Hex */
.highlight .mi { color: #3677a9 } /* Literal.Number.Integer */
.highlight .mo { color: #3677a9 } /* Literal.Number.Oct */
.highlight .sb { color: #9dd5f1 } /* Literal.String.Backtick */
.highlight .sc { color: #9dd5f1 } /* Literal.String.Char */
.highlight .sd { color: #9dd5f1 } /* Literal.String.Doc */
.highlight .s2 { color: #9dd5f1 } /* Literal.String.Double */
.highlight .se { color: #9dd5f1 } /* Literal.String.Escape */
.highlight .sh { color: #9dd5f1 } /* Literal.String.Heredoc */
.highlight .si { color: #9dd5f1 } /* Literal.String.Interpol */
.highlight .sx { color: #ffa500 } /* Literal.String.Other */
.highlight .sr { color: #9dd5f1 } /* Literal.String.Regex */
.highlight .s1 { color: #9dd5f1 } /* Literal.String.Single */
.highlight .ss { color: #9dd5f1 } /* Literal.String.Symbol */
.highlight .bp { color: #24909d } /* Name.Builtin.Pseudo */
.highlight .vc { color: #40ffff } /* Name.Variable.Class */
.highlight .vg { color: #40ffff } /* Name.Variable.Global */
.highlight .vi { color: #40ffff } /* Name.Variable.Instance */
.highlight .il { color: #3677a9 } /* Literal.Number.Integer.Long */

294
stylesheets/screen.css Normal file
View file

@ -0,0 +1,294 @@
/* Welcome to Compass.
* In this file you should write your main styles. (or centralize your imports)
* Import this file using the following HTML or equivalent:
* <link href="/stylesheets/screen.css" media="screen, projection" rel="stylesheet" type="text/css" /> */
/* line 17, ../../../../../../usr/local/share/gems/gems/compass-0.12.2/frameworks/compass/stylesheets/compass/reset/_utilities.scss */
html, body, div, span, applet, object, iframe,
h1, h2, h3, h4, h5, h6, p, blockquote, pre,
a, abbr, acronym, address, big, cite, code,
del, dfn, em, img, ins, kbd, q, s, samp,
small, strike, strong, sub, sup, tt, var,
b, u, i, center,
dl, dt, dd, ol, ul, li,
fieldset, form, label, legend,
table, caption, tbody, tfoot, thead, tr, th, td,
article, aside, canvas, details, embed,
figure, figcaption, footer, header, hgroup,
menu, nav, output, ruby, section, summary,
time, mark, audio, video {
margin: 0;
padding: 0;
border: 0;
font: inherit;
font-size: 100%;
vertical-align: baseline;
}
/* line 22, ../../../../../../usr/local/share/gems/gems/compass-0.12.2/frameworks/compass/stylesheets/compass/reset/_utilities.scss */
html {
line-height: 1;
}
/* line 24, ../../../../../../usr/local/share/gems/gems/compass-0.12.2/frameworks/compass/stylesheets/compass/reset/_utilities.scss */
ol, ul {
list-style: none;
}
/* line 26, ../../../../../../usr/local/share/gems/gems/compass-0.12.2/frameworks/compass/stylesheets/compass/reset/_utilities.scss */
table {
border-collapse: collapse;
border-spacing: 0;
}
/* line 28, ../../../../../../usr/local/share/gems/gems/compass-0.12.2/frameworks/compass/stylesheets/compass/reset/_utilities.scss */
caption, th, td {
text-align: left;
font-weight: normal;
vertical-align: middle;
}
/* line 30, ../../../../../../usr/local/share/gems/gems/compass-0.12.2/frameworks/compass/stylesheets/compass/reset/_utilities.scss */
q, blockquote {
quotes: none;
}
/* line 103, ../../../../../../usr/local/share/gems/gems/compass-0.12.2/frameworks/compass/stylesheets/compass/reset/_utilities.scss */
q:before, q:after, blockquote:before, blockquote:after {
content: "";
content: none;
}
/* line 32, ../../../../../../usr/local/share/gems/gems/compass-0.12.2/frameworks/compass/stylesheets/compass/reset/_utilities.scss */
a img {
border: none;
}
/* line 116, ../../../../../../usr/local/share/gems/gems/compass-0.12.2/frameworks/compass/stylesheets/compass/reset/_utilities.scss */
article, aside, details, figcaption, figure, footer, header, hgroup, menu, nav, section, summary {
display: block;
}
@font-face {
font-family: "OpenSans";
src: url('/stylesheets/fonts/OpenSans.woff') format('woff');
}
@font-face {
font-family: "OpenSansLight";
src: url('/stylesheets/fonts/OpenSans-Light.woff') format('woff');
}
@font-face {
font-family: "OpenSansItalic";
src: url('/stylesheets/fonts/OpenSans-Italic.woff') format('woff');
}
/* line 22, ../_sass/screen.scss */
html, body {
height: 100%;
text-align: justify;
background-color: #eeeeee;
color: #444444;
font-family: "OpenSans", sans;
line-height: 1.4em;
}
/* line 27, ../_sass/screen.scss */
a {
text-decoration: none;
color: #5555ff;
}
/* line 28, ../_sass/screen.scss */
a:hover {
text-decoration: underline;
}
/* line 30, ../_sass/screen.scss */
hr {
height: 1px;
border: none;
background-color: #999999;
margin-top: 1em;
}
/* line 32, ../_sass/screen.scss */
section h1 {
font-size: 150%;
border-left: 0.25em solid #5555ff;
border-radius: 3px;
padding-left: 0.3em;
margin-left: -0.8em;
}
/* line 35, ../_sass/screen.scss */
section h2 {
font-size: 120%;
font-weight: bold;
}
/* line 37, ../_sass/screen.scss */
h1, h2, h3, h4, h5 {
margin: 0.7em 0 0.5em 0;
}
/* line 39, ../_sass/screen.scss */
header {
text-align: center;
font-family: "OpenSansLight", sans;
line-height: 1.3em;
font-weight: 400;
font-size: 1.2em;
padding-top: 0.5em;
}
/* line 43, ../_sass/screen.scss */
header h1 {
font-size: 1.5em;
margin: 0 0 0.3em 0;
}
/* line 45, ../_sass/screen.scss */
header a {
color: #444444;
}
/* line 47, ../_sass/screen.scss */
nav {
text-align: center;
font-size: 120%;
margin: 1em 0;
}
/* line 48, ../_sass/screen.scss */
nav ul li {
display: inline;
margin: 0;
clear: both;
}
/* line 50, ../_sass/screen.scss */
footer {
font-size: 75%;
padding-bottom: 175px;
}
/* line 52, ../_sass/screen.scss */
em {
font-family: OpenSansItalic;
}
/* line 54, ../_sass/screen.scss */
table {
width: 100%;
}
/* line 55, ../_sass/screen.scss */
thead {
color: #999999;
}
/* line 56, ../_sass/screen.scss */
th, td {
padding: 0.3em;
}
/* line 57, ../_sass/screen.scss */
tr {
border-bottom: 1px solid #999999;
}
/* line 58, ../_sass/screen.scss */
tbody tr:hover {
border-bottom: 1px solid #111111;
color: #111111;
}
/* line 60, ../_sass/screen.scss */
ul {
list-style-image: url("../images/bullet_dark.png");
}
/* line 61, ../_sass/screen.scss */
li {
margin-left: 1em;
}
/* line 63, ../_sass/screen.scss */
.float-left {
float: left;
}
/* line 64, ../_sass/screen.scss */
.right, .float-right {
float: right;
}
/* line 65, ../_sass/screen.scss */
.clear {
clear: both;
}
/* line 67, ../_sass/screen.scss */
.switcher {
float: left;
}
/* line 69, ../_sass/screen.scss */
.credits {
color: #999999;
}
/* line 71, ../_sass/screen.scss */
#wrapper {
max-width: 800px;
margin: auto;
}
/* line 72, ../_sass/screen.scss */
#outter-wrapper {
width: 100%;
height: auto;
min-height: 100%;
position: relative;
}
/* line 73, ../_sass/screen.scss */
#foot_image {
height: 150px;
background-image: url("../images/antennes.png");
position: absolute;
bottom: 0;
width: 100%;
}
@media (max-width: 800px) {
/* line 77, ../_sass/screen.scss */
#outter-wrapper {
width: 100%;
}
/* line 78, ../_sass/screen.scss */
header h1 {
font-size: 1.2em;
}
/* line 79, ../_sass/screen.scss */
header {
font-size: 1em;
}
/* line 80, ../_sass/screen.scss */
body {
padding: 0 1em;
}
/* line 81, ../_sass/screen.scss */
#foot_image {
display: none;
}
/* line 82, ../_sass/screen.scss */
footer {
display: none;
}
}

View file

@ -1,802 +0,0 @@
@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: #f0e7d5;
font-weight: normal;
background-color: #1B1B1B;
/*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: #e8e8e8;
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: 22px;
}
h2 {
font-size: 20px;
}
h3 {
font-size: 18px;
line-height: 22px;
font-family: 'OpenSansRegular', "Helvetica Neue", Helvetica, Arial, sans-serif !important;
font-weight: normal;
color: #b6b6b6;
}
a {
color: #ffcc00; /* yellow */
/*color: #7777ff; blue */
/*color: #33ff33; green */
font-weight: 400;
text-decoration: none;
}
a:hover {
color: #ffeb9b; /* 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.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;
color: #efefef;
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: #191919;
-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 #121212;
-moz-box-shadow: inset 0 1px 3px rgba(0, 0, 0, 0.3);
-webkit-box-shadow: inset 0 1px 3px rgba(0, 0, 0, 0.3);
-o-box-shadow: inset 0 1px 3px rgba(0, 0, 0, 0.3);
box-shadow: inset 0 1px 3px rgba(0, 0, 0, 0.3);
overflow: auto;
overflow-y: hidden;
}
pre code {
color: #efefef;
text-shadow: 0px 1px 0px #000;
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: #555;
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;
}
section #title h1 {
font-family: 'OpenSansLight', "Helvetica Neue", Helvetica, Arial, sans-serif;
font-weight: normal;
font-size: 30px;
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;
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;
}
nav {
text-align:center;
list-style: none;
font-size:1.4em;
font-family: 'OpenSansRegular'
}
nav li {
display: inline;
}
.switcher {
float:left;
line-height: 2em;
}
.float-right {
float:right;
}
.float-left {
float:left;
}

View file

@ -1,852 +0,0 @@
@font-face {
font-family: 'OpenSansLight';
src: local('Open Sans Light'), local('OpenSans-Light'), url('../fonts/OpenSans-Light.woff');
font-weight: normal;
font-style: normal;
}
@font-face {
font-family: 'OpenSansLightItalic';
src: local('Open Sans Light Italic'), local('OpenSans-LightItalic'), url('../fonts/OpenSans-LightItalic.woff');
font-weight: normal;
font-style: normal;
}
@font-face {
font-family: 'OpenSansRegular';
src: local('Open Sans'), local('OpenSans'), url('../fonts/OpenSans.woff');
font-weight: normal;
font-style: normal;
-webkit-font-smoothing: antialiased;
}
@font-face {
font-family: 'OpenSansItalic';
src: local('Open Sans Italic'), local('OpenSans-Italic'), url('../fonts/OpenSans-Italic.woff');
font-weight: normal;
font-style: normal;
-webkit-font-smoothing: antialiased;
}
@font-face {
font-family: 'OpenSansSemibold';
src: local('Open Sans Semibold'), local('OpenSans-Semibold'), url('../fonts/OpenSans-Semibold.woff');
font-weight: normal;
font-style: normal;
-webkit-font-smoothing: antialiased;
}
@font-face {
font-family: 'OpenSansSemiboldItalic';
src: local('Open Sans Semibold Italic'), local('OpenSans-SemiboldItalic'), url('../fonts/OpenSans-SemiboldItalic.woff');
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;
}
footer {
opacity: 0.7;
}
/* =============================================================================
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 {
text-decoration:underline;
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 {
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: #444;
margin: 0.8em 0 0.3em 0 ;
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 0 0;
}
h1, h2, h3 {
line-height: 1.1;
}
h1 {
font-size: 22px;
}
h2 {
font-size: 20px;
}
h3 {
font-size: 18px;
line-height: 22px;
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: 'OpenSansSemibold', "Helvetica Neue", Helvetica, Arial, sans-serif !important;
font-weight: normal;
}
.wrapper {
max-width: 800px;
margin: 0 auto;
position: relative;
padding: 0 20px 150px;
}
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 {
border-collapse: collapse;
}
th {
text-align: left;
padding: 5px 10px;
border-bottom: 1px solid #aaa;
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 #aaa;
border-top: 1px solid #aaa;
}
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: 800px;
padding: 0 0px 50px 0px;
}
section #title {
border: 0;
outline: none;
margin: 0;
padding: 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;
margin-top:0;
padding-top:0.5em;
}
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;
}
.credits, #foot_image, nav {
display: none;
}
.wrapper {
padding-bottom: 0;
}
}
.clear {
clear:both;
}
.MathJax_Display {
font-size: 120%;
}
#MathJax_Zoom {
background-color: #EEF !important;
}
nav {
text-align:center;
list-style: none;
font-size:1.3em;
font-family: 'OpenSansRegular';
margin-bottom: 1em;
}
nav li {
display: inline;
}
.switcher {
float:left;
line-height: 2em;
margin-right: 1em;
}
.float-right {
float:right;
}
.float-left {
float:left;
}
#foot_image {
position: absolute;
width: 100%;
bottom: 0;
height: 150px;
background-image: url('/images/antennes.png');
background-repeat: repeat-x;
}
body, html {
height: 100%;
}
#outter-wrapper {
position: relative;
height: auto !important;
min-height:100%;
}
table.accepted, table.submitted {
width: 100%;
}
table.accepted tbody tr:hover, table.submitted tbody tr:hover {
background-color: #f5f5ff;
background: linear-gradient(to right, #eeeeff 0%, #f5f5ff 25%, #f5f5ff 75%, #eeeeff 100%);
}
table.submitted {
color: #999;
}
table.submitted td, table.submitted th {
border-color: #ccc;
}
table.submitted a {
color: #77C;
}
#content {
margin-bottom: 10px;
}
#content h1 {
border-left: 0.3em solid #77d;
border-radius: 3px;
height: 0.8em;
line-height: 0.75em;
padding-left: 0.5em;
}
#content h2 {
padding-left: 0.5em;
margin-left: 0.5em;
}
#content h3, #content h4 {
margin-left: 1.5em;
}
#title p {
margin-bottom: 1em;
}