some theming

This commit is contained in:
Mahdi Mohammadi 2017-06-04 11:03:46 +01:00
parent 058828d922
commit 355a64ae18
2 changed files with 35 additions and 1 deletions

View File

@ -43,9 +43,38 @@
}
#content {
margin-top: 33px;
margin-top: 50px;
margin-left: auto;
margin-right: auto;
width: 80%;
border: 1px solid;
}
button {
background-color:#4a6ca8;
-moz-border-radius:7px;
-webkit-border-radius:7px;
border-radius:7px;
border:1px solid #4e6096;
display:inline-block;
cursor:pointer;
color:#ffffff;
font-family:Arial;
font-size:17px;
padding:6px 16px;
text-decoration:none;
text-shadow:0px 1px 0px #283966;
}
button:hover {
background-color:#476e9e;
}
button:active {
position:relative;
top:1px;
}
#content.paused > .CodeMirror {
opacity: 0.5;
}
@ -71,3 +100,7 @@
text-decoration: none;
color: blue;
}
body {
font-family: "Open Sans";
}

View File

@ -5,6 +5,7 @@
<title>Type</title>
<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.19.0/codemirror.min.css">
<link rel="stylesheet" href="/css/main.css">
<link href="https://fonts.googleapis.com/css?family=Open+Sans" rel="stylesheet">
</head>
<body>