Added slides used to record video related to EWF.

git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1425 abb3cda0-5349-4a8f-a601-0c33ac3a8c38

tutorial/res/theme/ise/source/hljs.scss

@@ -0,0 +1,160 @@
+/*
+
+EiffelStudio style (c) Jocelyn Fiat <jfiat@eiffel.com>
+
+*/
+$hljsBackground: #fff;
+$hljsColor: #000;
+$hljsCommentColor: #800;
+$hljsKeywordColor: #006;
+$hljsStringColor: #080;
+$hljsTypeColor: #00f;
+
+/* Overwrite reveal for pre code */
+
+.reveal pre code {
+  background: $hljsBackground;
+  color: $hljsColor;
+}
+
+
+/* hljs */
+
+.hljs {
+  display: block;
+  overflow-x: auto;
+  padding: 0.5em;
+  background: white;
+  color: black;
+  -webkit-text-size-adjust: none;
+}
+
+.hljs-comment {
+  color: $hljsCommentColor;
+}
+
+.hljs-keyword,
+.method,
+.hljs-list .hljs-keyword,
+.nginx .hljs-title,
+.hljs-tag .hljs-title,
+.setting .hljs-value,
+.hljs-winutils,
+.tex .hljs-command,
+.http .hljs-title,
+.hljs-request,
+.hljs-status {
+  color: $hljsKeywordColor;
+}
+
+.hljs-envvar,
+.tex .hljs-special {
+  color: #660;
+}
+
+.hljs-string,
+.hljs-tag .hljs-value,
+.hljs-cdata,
+.hljs-filter .hljs-argument,
+.hljs-attr_selector,
+.apache .hljs-cbracket,
+.hljs-date,
+.hljs-regexp,
+.coffeescript .hljs-attribute {
+  color: $hljsStringColor;
+}
+
+.hljs-sub .hljs-identifier,
+.hljs-pi,
+.hljs-tag,
+.hljs-tag .hljs-keyword,
+.hljs-decorator,
+.ini .hljs-title,
+.hljs-shebang,
+.hljs-prompt,
+.hljs-hexcolor,
+.hljs-rule .hljs-value,
+.hljs-literal,
+.hljs-symbol,
+.ruby .hljs-symbol .hljs-string,
+.hljs-number,
+.css .hljs-function,
+.clojure .hljs-attribute {
+  color: #066;
+}
+
+.hljs-class .hljs-title,
+.smalltalk .hljs-class,
+.hljs-doctag,
+.hljs-type,
+.hljs-typename,
+.hljs-tag .hljs-attribute,
+.hljs-doctype,
+.hljs-class .hljs-id,
+.hljs-built_in,
+.setting,
+.hljs-params,
+.hljs-variable,
+.hljs-name {
+  color: $hljsTypeColor;
+}
+
+.css .hljs-tag,
+.hljs-rule .hljs-property,
+.hljs-pseudo,
+.hljs-subst {
+  color: #000;
+}
+
+.css .hljs-class,
+.css .hljs-id {
+  color: #9b703f;
+}
+
+.hljs-value .hljs-important {
+  color: #ff7700;
+  font-weight: bold;
+}
+
+.hljs-rule .hljs-keyword {
+  color: #c5af75;
+}
+
+.hljs-annotation,
+.apache .hljs-sqbracket,
+.nginx .hljs-built_in {
+  color: #9b859d;
+}
+
+.hljs-preprocessor,
+.hljs-preprocessor *,
+.hljs-pragma {
+  color: #444;
+}
+
+.tex .hljs-formula {
+  background-color: #eee;
+  font-style: italic;
+}
+
+.diff .hljs-header,
+.hljs-chunk {
+  color: #808080;
+  font-weight: bold;
+}
+
+.diff .hljs-change {
+  background-color: #bccff9;
+}
+
+.hljs-addition {
+  background-color: #baeeba;
+}
+
+.hljs-deletion {
+  background-color: #ffc8bd;
+}
+
+.hljs-comment .hljs-doctag {
+  font-weight: bold;
+}

tutorial/res/theme/ise/source/ise.scss

@@ -0,0 +1,93 @@
+/**
+ * A simple theme for reveal.js presentations, similar
+ * to the default theme. The accent color is darkblue.
+ *
+ * This theme is Copyright (C) 2015 Jocelyn Fiat, https://github.com/jocelyn. It is MIT licensed.
+ * reveal.js is Copyright (C) 2011-2012 Hakim El Hattab, http://hakim.se
+ */
+
+
+// Default mixins and settings -----------------
+@import "../../../reveal.js/css/theme/template/mixins";
+@import "../../../reveal.js/css/theme/template/settings";
+// ---------------------------------------------
+
+
+
+// Include theme-specific fonts
+@import url(https://fonts.googleapis.com/css?family=News+Cycle:400,700);
+@import url(https://fonts.googleapis.com/css?family=Lato:400,700,400italic,700italic);
+
+
+// Override theme settings (see ../template/settings.scss)
+$mainFont: 'Lato', sans-serif;
+$mainColor: #000;
+$headingFont: 'Arial', Impact, sans-serif;
+$headingColor: #000;
+$headingTextShadow: none;
+$headingTextTransform: none;
+$backgroundColor: #ddebfa;
+$linkColor: #00008B;
+$linkColorHover: lighten( $linkColor, 20% );
+$selectionBackgroundColor: rgba(0, 0, 0, 0.99);
+
+
+
+// Theme template ------------------------------
+@import "../../../reveal.js/css/theme/template/theme";
+// ---------------------------------------------
+
+// hljs ----------------------------------------
+@import "hljs";
+// ---------------------------------------------
+
+.reveal span.logo {
+	float: left;
+	display: inline-block;
+	width: 250px; height: 100px;
+	&:after {
+		content: " ";
+	}
+	background-image: url("logo.png");
+	background-repeat: no-repeat;
+	background-position: left top 0;
+}
+
+.reveal h2 {
+	color: #4672b9;
+	line-height: 1em;
+	padding: 5px 5px 15px 5px;
+	background-color: white;
+	border-top: solid 2px rgba(0,0,210,0.4);
+	margin: 0;
+	font-weight: bold;
+	font-size: 56px;
+}
+
+.reveal h3 {
+	color: #4672b9;
+	line-height: 0.9em;
+	background-color: white;
+	padding: 5px 5px 15px 5px;
+	border-top: solid 2px rgba(0,0,210,0.4);
+	font-weight: bold;
+	font-size: 48px;
+}
+
+.reveal section {
+	min-height: 80%;
+	.footer {
+		position: absolute;
+		bottom: 0px;
+		right: 0;
+		font-size: 18px;
+		padding-top: 4px;
+		vertical-align: middle;
+		color: $headingColor;
+		display: inline-block;
+		width: 100%;
+		height: 30px;
+		& a { color: $headingColor; }
+		text-align: right;
+	}
+}