h2 {
  -moz-text-decoration-style: double;
  text-decoration-style: double;
  text-decoration: underline;
}

h3 {
  -moz-text-decoration-style: dotted;
  text-decoration-style: double;
  text-decoration: underline;
  font-style: oblique;
}

h4 { font-style: oblique; }

.hilit {
  background-color: rgb(137, 71, 193);
  padding-left: 2px;
  padding-right: 3px;
}

body {
  background-color: rgb(33, 61, 157);
  color: rgb(196, 222, 226);
}

.overtxt { position: relative; }
.overtxt a:hover { cursor: pointer; }
.overtxt a .big { display: none; }
.overtxt a:hover .big { display: block; position: absolute; top: 25px; z-index:999; }

pre {
  background-color: rgb(234, 5, 30);
  margin-left: 3em;
  display: inline-block;
  font-family: monaco,consolas,"courier new",monospace;
  padding: 4px;
  min-width: 20%;
}

.ruby {
    background-color: rgb(109, 19, 135);
    font-style: normal;
}

.java {
    background-color: rgb(234, 0, 245);
    font-style: oblique;
}

.shell {
  background-color: rgb(26, 223, 236);
  color: rgb(228, 87, 189);
  font-weight: bold;
}

.conf {
  background-color: rgb(167, 39, 13);
  font-weight: lighter;
}

table, th, td {
  border: 3px solid rgb(144,171,113);
  border-collapse: collapse;
}

table {
  width: 85%;
  margin: 0px auto; /* for centering the table within a page */
}

th {
  text-align: center;
  color: rgb(100, 141, 61);
}

th, td {
  padding-left: 6px;
  padding-right: 8px;
}

td:first-child {
  color: rgb(166, 196, 149);
  background-color: rgb(6, 27, 157);
  font-weight: bold;
}

td a:visited { color: rgb(221, 250, 153); }

.mono1 td:first-child {
  font-family: monospace;
  font-stretch: semi-condensed;
  font-weight: 200;
}

.mono2 td:nth-child(2) {
  font-family: monospace;
  font-stretch: extra-condensed;
}

h1 {
  color: rgb(160, 185, 133);
  background-color: rgb(241, 111, 103);
}

h1:hover { color:  rgb(144, 88, 177); }

.mono {
  font-family: monospace;
}

a:link { color: rgb(28, 156, 147); }
a:visited { color:  rgb(221, 195, 95); }

a.button {
    padding-left: 20%;
    padding-right: 20%;
    padding-top: 8px;
    padding-bottom: 8px;
    -webkit-appearance: button;
    -moz-appearance: button;
    appearance: button;

    text-decoration: none;
    color: initial;
    background-color: rgb(68, 146, 16);
}

div#buttoncontainer {
  text-align: center;
}

.kudaran { text-decoration: none; }
.kudaran:link { color: inherit; }
.kudaran:hover { text-decoration: underline; }

.dlogopic {
    display: inline-block;
    /*
    margin-left: auto;
    margin-right: auto;
    */
    height: 60px;
    overflow: auto;
}

div#dlogo {
    text-align: right;
    /*
    float: right;
    clear: right;
    */
}

div#dlogo img { border: 0 }

 /* rgb() */