X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=2016-redhat%2Fstyle.css;fp=2016-redhat%2Fstyle.css;h=4a33b8fbb8078e5a75c1652bc52c26e952de29f3;hb=6b04b2b08a76ab29b1d63794159f6deea2cf9a7c;hp=0000000000000000000000000000000000000000;hpb=7b7bca7194b8693f9a5def85d8f07d06f276f90f;p=riscv-talks.git

diff --git a/2016-redhat/style.css b/2016-redhat/style.css
new file mode 100644
index 0000000..4a33b8f
--- /dev/null
+++ b/2016-redhat/style.css
@@ -0,0 +1,67 @@
+/* Red Hat red is rgb(204,0,0). */
+
+body {
+    background: url(redhat.png) no-repeat;
+    background-position: 98% 0;
+    /* font-size: 28pt; */ /* For max */
+    font-size: 20pt; /* For 1024x768 */
+    /* font-family: liberation, helvetica; */
+    font-family: helvetica;
+}
+
+body td, body th { /* why?? */
+    font-size: 24pt;
+    padding-bottom: 8px;
+}
+
+h1 {
+    color: rgb(204,0,0);
+    /*font-size: 48px;*/
+    font-size: 40px;
+    top: 8;
+    left: 0;
+    border-bottom: 2px solid rgb(204,0,0);
+}
+
+b {
+    color: rgb(204,0,0);
+}
+
+div#titlepage {
+    margin-top: 100px;
+    text-align: center;
+}
+
+div#titlepage p.title {
+    color: rgb(204,0,0);
+    font-weight: bold;
+    font-size: 48px;
+}
+
+div#titlepage author {
+    font-size: 36px;
+}
+
+/* Code */
+pre.code {
+    margin-left: 1em;
+    background: #eee;
+}
+
+code {
+    color: rgb(204,0,0);
+}
+
+/* Bullet points */
+li {
+    padding-bottom: 16px;
+}
+
+/* Logo */
+img#fish {
+    position: absolute;
+    top: 128px;
+    right: 32px;
+    width: 200px;
+    /*height: 256px;*/
+}
\ No newline at end of file