added css-files to cvsto enable deployment of standard-layout

[mir.git] / web / produced / style / mir.css

diff --git a/web/produced/style/mir.css b/web/produced/style/mir.css
new file mode 100755 (executable)
index 0000000..6c12b85
--- /dev/null
+++ b/web/produced/style/mir.css
@@ -0,0 +1,5 @@
+a {  color: #0000CC; text-decoration: underline}
+a:hover {  color: #333333; text-decoration: none}
+td {  font-family: "Times New Roman", Times, serif}
+.small {  font-size: x-small}
+pre {  font-family: "Courier", Courier, serif}