use sans-serif CMU removed internet dependence

This commit is contained in:
Yann Esposito 2012-11-07 17:05:48 +01:00
parent 1cda89be43
commit 7c603e3301
24 changed files with 90864 additions and 61 deletions

View file

@ -25,8 +25,6 @@
<!-- <link rel="stylesheet" href="themes/style/web-2.0.css"> -->
<link rel="stylesheet" href="themes/style/y/main.css" />
<link rel="stylesheet" href="themes/style/y/solarized.css" />
<link href='http://fonts.googleapis.com/css?family=Inconsolata' rel='stylesheet' type='text/css'>
<!-- Required Modernizr file -->
<script src="modernizr.custom.js"></script>
@ -75,11 +73,11 @@
<div class="slide">
<p>Numbers: 1,2,3,... <em class="small">3400 BC, real numbers 760 BC</em></p>
<figure class="left">
<img src="img/tally-count.png" style="height:3.8em" alt="Aboriginal Tally System"/>
<img src="categories/img/tally-count.png" style="height:3.8em" alt="Aboriginal Tally System"/>
<figcaption>Aboriginal Tally System</figcaption>
</figure>
<figure class="left">
<img src="img/first-real-numbers.png" style="height:3.8em" alt="Mesopotamian Numbers"/>
<img src="categories/img/first-real-numbers.png" style="height:3.8em" alt="Mesopotamian Numbers"/>
<figcaption>Mesopotamian base 60 system</figcaption>
</figure>
<figure class="left">
@ -108,14 +106,14 @@
<h2>Abstraction Example: Numbers</h2>
<h3>Generalization: rational numbers</h3>
<p>Rational numbers: \(\frac{p}{q}\) (concept is prehistoric): more precise.</p>
<img src="img/egyptian-hieroglyphics.jpg" alt="Egyptian Fractions"/>
<img src="categories/img/egyptian-hieroglyphics.jpg" alt="Egyptian Fractions"/>
</div>
</section>
<section class="slide">
<h2>Abstraction Example: Numbers</h2>
<h3>Generalization: negative numbers</h3>
<p>Negative numbers: ..., -3, -2, -1, 0, 1, 2, ... (100-50 BC): Debts, temperature</p>
<img src="img/negative-numbers.jpg" alt="Negative Numbers (Chinese)"/>
<img src="categories/img/negative-numbers.jpg" alt="Negative Numbers (Chinese)"/>
</section>
<section class="slide">
<h2>Abstraction Example: Numbers</h2>
@ -249,14 +247,14 @@
<section class="slide">
<h2>Category Definition: Objects</h2>
<img src="img/mp/objects.png" alt="objects" />
<img src="categories/img/mp/objects.png" alt="objects" />
<p>\(\ob{\mathcal{C}}\) is a collection</p>
</section>
<section class="slide">
<h2>Category Definition: Morphisms</h2>
<img src="img/mp/morphisms.png" alt="morphisms"/>
<img src="categories/img/mp/morphisms.png" alt="morphisms"/>
<p>\(\hom{A,B}\) is a collection</p>
</section>
@ -265,48 +263,48 @@
<p>Composition (∘): \(f:A\rightarrow B, g:B\rightarrow C\)
$$g\circ f:A\rightarrow C$$
</p>
<img src="img/mp/composition.png" alt="composition"/>
<img src="categories/img/mp/composition.png" alt="composition"/>
</section>
<section class="slide">
<h2>Category laws: neutral element</h2>
<p>for all \(X\), there is an \(\id_X\), s.t. for all \(f:A\to B\):</p>
<img src="img/mp/identity.png" alt="identity"/>
<img src="categories/img/mp/identity.png" alt="identity"/>
</section>
<section class="slide">
<h2>Category laws: Associativity</h2>
<p> Composition is associative:</p>
<img src="img/mp/associativecomposition.png" alt="associative composition"/>
<img src="categories/img/mp/associativecomposition.png" alt="associative composition"/>
</section>
<section class="slide">
<h2>Can this be a category? <span style="font-size: .5em">(\(\id_X\) implicit)</span></h2>
<figure class="left">
<img src="img/mp/cat-example1.png" alt="Category example 1"/>
<img src="categories/img/mp/cat-example1.png" alt="Category example 1"/>
<figcaption class="slide">
<span class="green">OK</span>
</figcaption>
</figure>
<figure class="left">
<img src="img/mp/cat-example2.png" alt="Category example 2"/>
<img src="categories/img/mp/cat-example2.png" alt="Category example 2"/>
<figcaption class="slide">
no candidate for \(g\circ f\)
<span class="red">NO</span>
</figcaption>
</figure>
<figure class="left">
<img src="img/mp/cat-example3.png" alt="Category example 3"/>
<img src="categories/img/mp/cat-example3.png" alt="Category example 3"/>
<figcaption class="slide">
<span class="green">YES</span>
</figcaption>
</figure>
<figure class="left">
<img src="img/mp/cat-example4.png" alt="Category example 4"/>
<img src="categories/img/mp/cat-example4.png" alt="Category example 4"/>
<figcaption class="slide">
no candidate for \(f:C\to B\)
<span class="red">NO</span>
</figcaption>
</figure>
<figure class="left">
<img src="img/mp/cat-example5.png" alt="Category example 5"/>
<img src="categories/img/mp/cat-example5.png" alt="Category example 5"/>
<figcaption class="slide">
\((h∘g)∘f=\id_B∘f=f≠h=h∘\id_A=h∘(g∘f)\)
<span class="red">NO</span>
@ -363,17 +361,17 @@ A <em>functor</em> \(\F\) from \(\C\) to \(\D\):</p>
<section class="slide">
<h2>Functor: Example</h2>
<img src="img/mp/functor.png" alt="Functor"/>
<img src="categories/img/mp/functor.png" alt="Functor"/>
</section>
<section class="slide">
<h2>Functor: Example</h2>
<img src="img/mp/functor-morphism.png" alt="Functor"/>
<img src="categories/img/mp/functor-morphism.png" alt="Functor"/>
</section>
<section class="slide">
<h2>Functor: Example</h2>
<img src="img/mp/functor-morphism-color.png" alt="Functor"/>
<img src="categories/img/mp/functor-morphism-color.png" alt="Functor"/>
</section>
<!-- End slides. -->

View file

@ -25,8 +25,6 @@
<!-- <link rel="stylesheet" href="themes/style/web-2.0.css"> -->
<link rel="stylesheet" href="themes/style/y/main.css" />
<link rel="stylesheet" href="themes/style/y/solarized.css" />
<link href='http://fonts.googleapis.com/css?family=Inconsolata' rel='stylesheet' type='text/css'>
<!-- Required Modernizr file -->
<script src="modernizr.custom.js"></script>

Binary file not shown.

Binary file not shown.

File diff suppressed because it is too large Load diff

After

Width:  |  Height:  |  Size: 1.7 MiB

Binary file not shown.

Binary file not shown.

Binary file not shown.

Binary file not shown.

File diff suppressed because it is too large Load diff

After

Width:  |  Height:  |  Size: 2.4 MiB

Binary file not shown.

Binary file not shown.

Binary file not shown.

Binary file not shown.

File diff suppressed because it is too large Load diff

After

Width:  |  Height:  |  Size: 1.7 MiB

Binary file not shown.

Binary file not shown.

Binary file not shown.

Binary file not shown.

File diff suppressed because it is too large Load diff

After

Width:  |  Height:  |  Size: 2.6 MiB

Binary file not shown.

Binary file not shown.

View file

@ -8,26 +8,33 @@
font-style: normal; }
@font-face {
font-family: "ComputerModern";
src: url("fonts/cmunrb.eot");
src: local("☺"), url("fonts/cmunrb.svg") format("svg"), url("fonts/cmunrb.ttf") format("truetype");
font-family: "ComputerModernSansSerif";
src: url("fonts/cmunso.eot");
src: local("☺"), url("fonts/cmunso.svg") format("svg"), url("fonts/cmunso.ttf") format("truetype");
font-style: italic, oblique;
font-weight: bold; }
@font-face {
font-family: "ComputerModern";
src: url("fonts/cmunsl.eot");
src: local("☺"), url("fonts/cmunsl.svg") format("svg"), url("fonts/cmunsl.ttf") format("truetype");
font-family: "ComputerModernSansSerif";
src: url("fonts/cmunsx.eot");
src: local("☺"), url("fonts/cmunsx.svg") format("svg"), url("fonts/cmunsx.ttf") format("truetype");
font-weight: bold; }
@font-face {
font-family: "ComputerModernSansSerif";
src: url("fonts/cmunsi.eot");
src: local("☺"), url("fonts/cmunsi.svg") format("svg"), url("fonts/cmunsi.ttf") format("truetype");
font-style: italic, oblique; }
@font-face {
font-family: "ComputerModern";
src: url("fonts/cmunrm.eot");
src: local("☺"), url("fonts/cmunrm.svg") format("svg"), url("fonts/cmunrm.ttf") format("truetype");
font-family: "ComputerModernSansSerif";
src: url("fonts/cmunss.eot");
src: local("☺"), url("fonts/cmunss.svg") format("svg"), url("fonts/cmunss.ttf") format("truetype");
font-weight: normal;
font-style: normal; }
.deck-container {
font-family: "ComputerModern", Georgia, serif;
font-family: "ComputerModernSansSerif", Helvetica, sans-serif;
/* Header Numbering */ }
.deck-container .base03 {
color: #002b36; }
@ -62,7 +69,7 @@
.deck-container .green {
color: #859900; }
.deck-container div {
font-family: "ComputerModern", Georgia, serif; }
font-family: "ComputerModernSansSerif", Helvetica, sans-serif; }
.deck-container .and {
font-family: "Hoefler Text";
font-style: italic;
@ -132,7 +139,7 @@
line-height: 1.5em;
border-color: #586e75; }
.deck-container body {
font-family: "ComputerModern", Georgia, Palatino, "Century Schoolbook L", "Times New Roman", Times, serif; }
font-family: "ComputerModernSansSerif", Helvetica, sans-serif; }
.deck-container .article #afterheader {
counter-reset: niv02; }
.deck-container .article #afterheader h2 {
@ -881,19 +888,13 @@
@media only screen and (max-width: 3400px) {
.deck-container {
font-size: 4em; } }
font-size: 5em; } }
@media only screen and (max-width: 1920px) {
.deck-container {
font-size: 3em; } }
font-size: 4em; } }
@media only screen and (max-width: 1380px) {
.deck-container {
font-size: 2em; } }
@media only screen and (max-width: 960px) {
.deck-container {
font-size: 1.5em; } }
@media only screen and (max-width: 800px) {
.deck-container {
font-size: 1em; } }
@media only screen and (max-width: 640px) {
.deck-container {
font-size: 1.5em; } }

View file

@ -48,19 +48,25 @@ $secondTextColor: $base1
font-style: normal
@font-face
font-family: 'ComputerModern'
src: url('fonts/cmunrb.eot')
src: local(''), url('fonts/cmunrb.svg') format('svg'), url('fonts/cmunrb.ttf') format('truetype')
font-family: 'ComputerModernSansSerif'
src: url('fonts/cmunso.eot')
src: local(''), url('fonts/cmunso.svg') format('svg'), url('fonts/cmunso.ttf') format('truetype')
font-style: italic,oblique
font-weight: bold
@font-face
font-family: 'ComputerModern'
src: url('fonts/cmunsl.eot')
src: local(''), url('fonts/cmunsl.svg') format('svg'), url('fonts/cmunsl.ttf') format('truetype')
font-family: 'ComputerModernSansSerif'
src: url('fonts/cmunsx.eot')
src: local(''), url('fonts/cmunsx.svg') format('svg'), url('fonts/cmunsx.ttf') format('truetype')
font-weight: bold
@font-face
font-family: 'ComputerModernSansSerif'
src: url('fonts/cmunsi.eot')
src: local(''), url('fonts/cmunsi.svg') format('svg'), url('fonts/cmunsi.ttf') format('truetype')
font-style: italic,oblique
@font-face
font-family: 'ComputerModern'
src: url('fonts/cmunrm.eot')
src: local(''), url('fonts/cmunrm.svg') format('svg'), url('fonts/cmunrm.ttf') format('truetype')
font-family: 'ComputerModernSansSerif'
src: url('fonts/cmunss.eot')
src: local(''), url('fonts/cmunss.svg') format('svg'), url('fonts/cmunss.ttf') format('truetype')
font-weight: normal
font-style: normal
@ -208,9 +214,9 @@ $secondTextColor: $base1
.green
color: $green
font-family: "ComputerModern",Georgia,serif
font-family: "ComputerModernSansSerif",Helvetica,sans-serif
div
font-family: "ComputerModern",Georgia,serif
font-family: "ComputerModernSansSerif",Helvetica,sans-serif
.and
font-family: "Hoefler Text"
font-style: italic
@ -292,7 +298,7 @@ $secondTextColor: $base1
border-color: $base01
body
font-family: "ComputerModern", Georgia, Palatino, "Century Schoolbook L", "Times New Roman", Times, serif
font-family: "ComputerModernSansSerif", Helvetica, sans-serif
/* Header Numbering */
.article #afterheader
@ -1107,19 +1113,13 @@ $secondTextColor: $base1
@media only screen and (max-width: 3400px)
.deck-container
font-size: 4em
font-size: 5em
@media only screen and (max-width: 1920px)
.deck-container
font-size: 3em
font-size: 4em
@media only screen and (max-width: 1380px)
.deck-container
font-size: 2em
@media only screen and (max-width: 960px)
.deck-container
font-size: 1.5em
@media only screen and (max-width: 800px)
.deck-container
font-size: 1em
@media only screen and (max-width: 640px)
.deck-container
font-size: 1.5em