-/*
-Colors :
-- #40403F
-- #4D4D4C
-- #7F7F7E
-- #E5E5E3
-- #F0F0F0
-*/
-
/* Imports */
@import url("pygment.css");
a:hover, a:active {
text-decoration: none;
- border-bottom: 1px dotted #A070A0;
- color: #A070A0;
+ border-bottom: 1px dotted #C07095;
+ color: #C07095;
}
.literal {