From 69184c342c2daef62e69d98f3ca4b2fa6953ffdb Mon Sep 17 00:00:00 2001
From: Yuval Adam <yuv.adm@gmail.com>
Date: Mon, 27 Oct 2014 10:51:57 +0200
Subject: R2 run on the CSS styles and add dir: rtl

---
 notes.xhtml | 348 +++++++++++++++++++++++++++++++++---------------------------
 1 file changed, 193 insertions(+), 155 deletions(-)

diff --git a/notes.xhtml b/notes.xhtml
index 92d73cb..081ddca 100644
--- a/notes.xhtml
+++ b/notes.xhtml
@@ -6,209 +6,247 @@
 <meta http-equiv="Content-type" content="text/html;charset=UTF-8" />
 <title>אי שלמות ואי כריעות בשפות פורמליותד"ר אסף חסון, אוניברסיטת בן-גוריון בנגב</title>
 <style type='text/css'>
-/* LyX Provided Styles */
-table { border: 1px solid black; display: inline-block; }
-td { border: 1px solid black; padding: 0.5ex; }
+body {
+  direction: rtl;
+}
+table {
+  border: 1px solid black;
+  display: inline-block;
+}
+
+td {
+  border: 1px solid black;
+  padding: 0.5ex;
+}
 
 /* Layout-provided Styles */
+
 del.strikeout {
   text-decoration: line-through;
 }
-h1.title {
-font-size: x-large;
-margin-bottom: 1ex;
-text-align: center;
 
+h1.title {
+  font-size: x-large;
+  margin-bottom: 1ex;
+  text-align: center;
 }
-div.author {
-font-size: large;
-margin-top: 1.3ex;
-margin-bottom: 0.7ex;
-text-align: center;
 
+div.author {
+  font-size: large;
+  margin-top: 1.3ex;
+  margin-bottom: 0.7ex;
+  text-align: center;
 }
+
 div.standard {
-margin-bottom: 2ex;
+  margin-bottom: 2ex;
 }
-blockquote.quote {
-margin-top: 0.5ex;
-margin-bottom: 0.5ex;
-margin-left: 3ex;
-margin-right: 3ex;
-text-align: left;
 
+blockquote.quote {
+  margin-top: 0.5ex;
+  margin-bottom: 0.5ex;
+  margin-right: 3ex;
+  margin-left: 3ex;
+  text-align: right;
 }
-h2.section {
-font-weight: bold;
-font-size: x-large;
-margin-top: 1.3ex;
-margin-bottom: 0.7ex;
-text-align: left;
 
+h2.section {
+  font-weight: bold;
+  font-size: x-large;
+  margin-top: 1.3ex;
+  margin-bottom: 0.7ex;
+  text-align: right;
 }
-ul.itemize {
-margin-top: 0.7ex;
-margin-bottom: 0.7ex;
-margin-left: 3ex;
-text-align: left;
 
+ul.itemize {
+  margin-top: 0.7ex;
+  margin-bottom: 0.7ex;
+  margin-right: 3ex;
+  text-align: right;
 }
-ol.enumerate {
-margin-top: 0.7ex;
-margin-bottom: 0.7ex;
-margin-left: 3ex;
-text-align: left;
 
+ol.enumerate {
+  margin-top: 0.7ex;
+  margin-bottom: 0.7ex;
+  margin-right: 3ex;
+  text-align: right;
 }
-div.theorem {
-font-style: normal;
-font-variant: normal;
-font-size: medium;
-margin-top: 0.7ex;
-margin-bottom: 0.7ex;
-text-align: left;
 
+div.theorem {
+  font-style: normal;
+  font-variant: normal;
+  font-size: medium;
+  margin-top: 0.7ex;
+  margin-bottom: 0.7ex;
+  text-align: right;
 }
-span.theorem_label {
-font-weight: bold;
-font-style: normal;
-font-variant: normal;
-font-size: medium;
 
+span.theorem_label {
+  font-weight: bold;
+  font-style: normal;
+  font-variant: normal;
+  font-size: medium;
 }
-div.claim {
-font-style: normal;
-font-variant: normal;
-font-size: medium;
-margin-top: 0.7ex;
-margin-bottom: 0.7ex;
-text-align: left;
 
+div.claim {
+  font-style: normal;
+  font-variant: normal;
+  font-size: medium;
+  margin-top: 0.7ex;
+  margin-bottom: 0.7ex;
+  text-align: right;
 }
-span.claim_label {
-font-weight: bold;
-font-style: normal;
-font-variant: normal;
-font-size: medium;
 
+span.claim_label {
+  font-weight: bold;
+  font-style: normal;
+  font-variant: normal;
+  font-size: medium;
 }
-div.proof {
-font-style: normal;
-font-variant: normal;
-font-size: medium;
-margin-top: 0.7ex;
-margin-bottom: 0.7ex;
-text-align: left;
 
+div.proof {
+  font-style: normal;
+  font-variant: normal;
+  font-size: medium;
+  margin-top: 0.7ex;
+  margin-bottom: 0.7ex;
+  text-align: right;
 }
-span.proof_label {
-font-weight: bold;
-font-style: normal;
-font-variant: normal;
-font-size: medium;
 
+span.proof_label {
+  font-weight: bold;
+  font-style: normal;
+  font-variant: normal;
+  font-size: medium;
 }
-div.definition {
-font-style: normal;
-font-variant: normal;
-font-size: medium;
-margin-top: 0.7ex;
-margin-bottom: 0.7ex;
-text-align: left;
 
+div.definition {
+  font-style: normal;
+  font-variant: normal;
+  font-size: medium;
+  margin-top: 0.7ex;
+  margin-bottom: 0.7ex;
+  text-align: right;
 }
-span.definition_label {
-font-weight: bold;
-font-style: normal;
-font-variant: normal;
-font-size: medium;
 
+span.definition_label {
+  font-weight: bold;
+  font-style: normal;
+  font-variant: normal;
+  font-size: medium;
 }
-div.lemma {
-font-style: normal;
-font-variant: normal;
-font-size: medium;
-margin-top: 0.7ex;
-margin-bottom: 0.7ex;
-text-align: left;
 
+div.lemma {
+  font-style: normal;
+  font-variant: normal;
+  font-size: medium;
+  margin-top: 0.7ex;
+  margin-bottom: 0.7ex;
+  text-align: right;
 }
-span.lemma_label {
-font-weight: bold;
-font-style: normal;
-font-variant: normal;
-font-size: medium;
 
+span.lemma_label {
+  font-weight: bold;
+  font-style: normal;
+  font-variant: normal;
+  font-size: medium;
 }
-div.corollary {
-font-style: normal;
-font-variant: normal;
-font-size: medium;
-margin-top: 0.7ex;
-margin-bottom: 0.7ex;
-text-align: left;
 
+div.corollary {
+  font-style: normal;
+  font-variant: normal;
+  font-size: medium;
+  margin-top: 0.7ex;
+  margin-bottom: 0.7ex;
+  text-align: right;
 }
-span.corollary_label {
-font-weight: bold;
-font-style: normal;
-font-variant: normal;
-font-size: medium;
 
+span.corollary_label {
+  font-weight: bold;
+  font-style: normal;
+  font-variant: normal;
+  font-size: medium;
 }
-div.remarks {
-font-style: normal;
-font-variant: normal;
-font-size: medium;
-margin-top: 0.7ex;
-margin-bottom: 0.7ex;
-text-align: left;
 
+div.remarks {
+  font-style: normal;
+  font-variant: normal;
+  font-size: medium;
+  margin-top: 0.7ex;
+  margin-bottom: 0.7ex;
+  text-align: right;
 }
-span.remarks_label {
-font-weight: bold;
-font-style: normal;
-font-variant: normal;
-font-size: medium;
 
+span.remarks_label {
+  font-weight: bold;
+  font-style: normal;
+  font-variant: normal;
+  font-size: medium;
 }
+
 div.plain_layout {
-text-align: left;
+  text-align: right;
+}
+
+div.Frameless {
+  margin: 1em;
+}
+
+div.toc {
+  margin: 2em 0em;
+  border-style: solid;
+  border-width: 2px 0px;
+  padding: 1em 0em;
+}
+
+h2.tochead {
+  font-size: x-large;
+  font-weight: bold;
+}
 
+div.lyxtoc-0 {
+  margin: 2em 0em 0em 0em;
+  font-size: xx-large;
+  font-weight: bold;
 }
-div.Frameless { margin: 1em; }
- div.toc {
-   margin: 2em 0em;
-   border-style: solid;
-   border-width: 2px 0px;
-   padding: 1em 0em;
- }
- h2.tochead { font-size: x-large; font-weight: bold; }
- div.lyxtoc-0 {
-   margin: 2em 0em 0em 0em;
-   font-size: xx-large;
-   font-weight: bold;
- }
- div.lyxtoc-1 {
-   margin: 1em 0em 0em 0em;
-   font-size: x-large;
-   font-weight: bold;
- }
- div.lyxtoc-2 {
-   margin: 0em 0.1em 0em 1em;
-   font-size: large;
-   font-weight: normal;
- }
- div.lyxtoc-3 { margin: 0em 0.1em 0em 0.5em; font-size: medium; }
- div.lyxtoc-4 { margin: 0em 0.1em 0em 0.5em; }
- div.lyxtoc-5 { margin: 0em 0.1em 0em 0.5em; }
- div.lyxtoc-6 { margin: 0em 0.1em 0em 0.5em; }
- a.tocentry {
-   text-decoration: none;
-   color: black;
- }
- a.tocentry:visited { color: black; }
 
+div.lyxtoc-1 {
+  margin: 1em 0em 0em 0em;
+  font-size: x-large;
+  font-weight: bold;
+}
+
+div.lyxtoc-2 {
+  margin: 0em 1em 0em 0.1em;
+  font-size: large;
+  font-weight: normal;
+}
+
+div.lyxtoc-3 {
+  margin: 0em 0.5em 0em 0.1em;
+  font-size: medium;
+}
+
+div.lyxtoc-4 {
+  margin: 0em 0.5em 0em 0.1em;
+}
+
+div.lyxtoc-5 {
+  margin: 0em 0.5em 0em 0.1em;
+}
+
+div.lyxtoc-6 {
+  margin: 0em 0.5em 0em 0.1em;
+}
+
+a.tocentry {
+  text-decoration: none;
+  color: black;
+}
+
+a.tocentry:visited {
+  color: black;
+}
 
 </style>
 </head>
@@ -1178,7 +1216,7 @@ You just get used to them.</div>
   </mrow>
  </mrow></math>, הם אוסף כל המשתנים המופיעים ב-<math xmlns="http://www.w3.org/1998/Math/MathML">
  <mrow><mi>t</mi>
- </mrow></math>. 
+ </mrow></math>.
 
 <ul class="itemize"><a id='magicparlabel-39' /><li class="itemize_item">אם <math xmlns="http://www.w3.org/1998/Math/MathML">
  <mrow><mi> &phiv; </mi>
@@ -1322,7 +1360,7 @@ You just get used to them.</div>
    <mrow><mi> &phiv; </mi><mo>,</mo><mi>s</mi>
    </mrow><mo form='postfix' fence='true' stretchy='true' symmetric='true'>)</mo><mo>=</mo><mi>T</mi><mi>R</mi><mi>U</mi><mi>E</mi>
   </mrow>
- </mrow></math>. 
+ </mrow></math>.
 
 <ul class="itemize"><a id='magicparlabel-45' /><li class="itemize_item">דוגמה: אם <math xmlns="http://www.w3.org/1998/Math/MathML">
  <mrow><mi>P</mi>
@@ -1909,7 +1947,7 @@ You just get used to them.</div>
    <mrow><mi> &verbar; </mi><mi> = </mi>
    </mrow><mo> &Delta; </mo>
   </mrow>
- </mrow></math>. 
+ </mrow></math>.
 
 <ul class="itemize"><a id='magicparlabel-62' /><li class="itemize_item">דוגמה: אם ב<math xmlns="http://www.w3.org/1998/Math/MathML">
  <mrow><mo> &Delta; </mo>
-- 
cgit v1.3.1