aboutsummaryrefslogtreecommitdiff
path: root/assets/interlocking.html.LyXconv/interlocking.css
diff options
context:
space:
mode:
Diffstat (limited to 'assets/interlocking.html.LyXconv/interlocking.css')
-rw-r--r--assets/interlocking.html.LyXconv/interlocking.css24
1 files changed, 0 insertions, 24 deletions
diff --git a/assets/interlocking.html.LyXconv/interlocking.css b/assets/interlocking.html.LyXconv/interlocking.css
index 461af3c..5a650a7 100644
--- a/assets/interlocking.html.LyXconv/interlocking.css
+++ b/assets/interlocking.html.LyXconv/interlocking.css
@@ -6,8 +6,6 @@
.ecsx-1728{ font-weight: bold;}
.ecsx-1728{ font-weight: bold;}
.ecsx-1728{ font-weight: bold;}
-.ecsx-1728{ font-weight: bold;}
-.ecsx-1728{ font-weight: bold;}
.ecst-1440{font-size:140%;}
.ecsx-1200{font-size:120%; font-weight: bold;}
.ecsx-1200{ font-weight: bold;}
@@ -15,40 +13,18 @@
.ecsx-1200{ font-weight: bold;}
.ecsx-1200{ font-weight: bold;}
.ecsx-1200{ font-weight: bold;}
-.ecsx-1200{ font-weight: bold;}
-.ecsx-1200{ font-weight: bold;}
.ecsx-1000{ font-weight: bold;}
.ecsx-1000{ font-weight: bold;}
.ecsx-1000{ font-weight: bold;}
.ecsx-1000{ font-weight: bold;}
.ecsx-1000{ font-weight: bold;}
.ecsx-1000{ font-weight: bold;}
-.ecsx-1000{ font-weight: bold;}
-.ecsx-1000{ font-weight: bold;}
-.ecbx-1000{ font-weight: bold;}
-.ecbx-1000{ font-weight: bold;}
.ecbx-1000{ font-weight: bold;}
.ecbx-1000{ font-weight: bold;}
.ecbx-1000{ font-weight: bold;}
.ecbx-1000{ font-weight: bold;}
.ecbx-1000{ font-weight: bold;}
.ecbx-1000{ font-weight: bold;}
-.ecti-1000{ font-style: italic;}
-.ecti-1000{ font-style: italic;}
-.ecti-1000{ font-style: italic;}
-.ecti-1000{ font-style: italic;}
-.ecti-1000{ font-style: italic;}
-.ecti-1000{ font-style: italic;}
-.ecti-1000{ font-style: italic;}
-.ecti-1000{ font-style: italic;}
-.ectt-1000{ font-family: monospace;}
-.ectt-1000{ font-family: monospace;}
-.ectt-1000{ font-family: monospace;}
-.ectt-1000{ font-family: monospace;}
-.ectt-1000{ font-family: monospace;}
-.ectt-1000{ font-family: monospace;}
-.ectt-1000{ font-family: monospace;}
-.ectt-1000{ font-family: monospace;}
p.noindent { text-indent: 0em }
td p.noindent { text-indent: 0em; margin-top:0em; }
p.nopar { text-indent: 0em; }