updated PO files

[website.git] / local.css

diff --git a/local.css b/local.css
index de4b4295747815336729a433bb3fd6e23b0d91a3..ea028a7cab11d2dd62c5344793884cb120603d98 100644 (file)
--- a/local.css
+++ b/local.css
@@ -25,10 +25,10 @@
   src: local('Open Sans Bold Italic'), local('OpenSans-BoldItalic'), url(assets/OpenSans/OpenSans-BoldItalic.ttf) format('truetype');
 }
 @font-face {
   src: local('Open Sans Bold Italic'), local('OpenSans-BoldItalic'), url(assets/OpenSans/OpenSans-BoldItalic.ttf) format('truetype');
 }
 @font-face {

-  font-family: 'Incosolata';
+  font-family: 'Inconsolata';

   font-style: normal;
   font-weight: 400;
   font-style: normal;
   font-weight: 400;

-  src: local('Incosolata'), local('Inconsolata-Regular'), url(assets/Inconsolata/Inconsolata.otf) format('opentype');
+  src: local('Inconsolata'), local('Inconsolata-Regular'), url(assets/Inconsolata/Inconsolata.otf) format('opentype');

 }
 
 html {
 }
 
 html {


@@ -45,7 +45,8 @@ body {
 
 code,
 pre {
 
 code,
 pre {

-       font-family: "Incosolata", monospace;
+       font-family: "Inconsolata", monospace;
+       font-size-adjust: 0.535;

 }
 
 .page {
 }
 
 .page {


@@ -224,10 +225,6 @@ pre {
        color: #a756af;
        background: transparent;
        font-weight: normal;
        color: #a756af;
        background: transparent;
        font-weight: normal;

-}
-
-.sidebar ul li > span,
-.sidebar ul li > a {

        font-size: 100%;
 }
 
        font-size: 100%;
 }
 


@@ -376,15 +373,11 @@ pre {
        text-align: center;
        color: white;
        background: #57075f;
        text-align: center;
        color: white;
        background: #57075f;

-       background: -webkit-linear-gradient(#001030, #57075f);
-       background:    -moz-linear-gradient(#001030, #57075f);
-       background:         linear-gradient(#001030, #57075f);

        z-index: 400;
 }
 
 #footer #pageinfo {
        position: relative;
        z-index: 400;
 }
 
 #footer #pageinfo {
        position: relative;

-       max-width: 30em;

        margin: auto;
        padding: 0.1em 2em;
        border-top: none;
        margin: auto;
        padding: 0.1em 2em;
        border-top: none;


@@ -405,7 +398,7 @@ pre {
 
 #footer #pageinfo div {
        font-size: 80%;
 
 #footer #pageinfo div {
        font-size: 80%;

-       margin-top: 0.5em;
+       margin-top: 0;

        margin-bottom: 0;
 }
 /* #footer }}} */
        margin-bottom: 0;
 }
 /* #footer }}} */


@@ -483,6 +476,11 @@ pre {
                border-bottom: solid #ccc 1px;
        }
 
                border-bottom: solid #ccc 1px;
        }
 

+       #content a:link:after,
+       #content a:visited:after {
+               content:" [" attr(href) "] ";
+       }
+

        #footer {
                margin-top: 2em;
                text-align: left;
        #footer {
                margin-top: 2em;
                text-align: left;